Αποτελέσματα για "specification language"

Αποτελέσματα για "specification language" Εμφανίζονται 1 - 50 Αποτελέσματα από 410 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22specification+language%22&type=AllFields&lng=el 410 0 50 From beliefs to dynamic affect systems in mathematics education Exploring a mosaic of relationships and interactions / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-06808-4 https://find.library.upatras.gr/Record/978-3-319-06808-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Semigroups of Operators -Theory and Applications Będlewo, Poland, October 2013 / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-12145-1 https://find.library.upatras.gr/Record/978-3-319-12145-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-15368-1 https://find.library.upatras.gr/Record/978-3-319-15368-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-15940-9 https://find.library.upatras.gr/Record/978-3-319-15940-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-16214-0 https://find.library.upatras.gr/Record/978-3-319-16214-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-20860-2 https://find.library.upatras.gr/Record/978-3-319-20860-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / Thu, 01 Jan 2015 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23485-4 https://find.library.upatras.gr/Record/978-3-319-23485-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Mathematics Education in the Early Years Results from the POEM2 Conference, 2014 / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23935-4 https://find.library.upatras.gr/Record/978-3-319-23935-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-44561-8 https://find.library.upatras.gr/Record/978-3-319-44561-8 O'Regan, Gerard Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 O'Regan, Gerard 0 Business Modeling and Software Design 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-40512-4 https://find.library.upatras.gr/Record/978-3-319-40512-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-46982-9 https://find.library.upatras.gr/Record/978-3-319-46982-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Knowledge Engineering and Knowledge Management. Methods, Models, and Tools 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings / Sat, 01 Jan 2000 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-39967-4 https://find.library.upatras.gr/Record/978-3-540-39967-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Generative Programming and Component Engineering ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45821-0 https://find.library.upatras.gr/Record/978-3-540-45821-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45628-5 https://find.library.upatras.gr/Record/978-3-540-45628-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Software Reuse: Advances in Software Reusability 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings / Sat, 01 Jan 2000 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-44995-9 https://find.library.upatras.gr/Record/978-3-540-44995-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Computational Linguistics and Intelligent Text Processing 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings / Wed, 01 Jan 2003 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-36456-6 https://find.library.upatras.gr/Record/978-3-540-36456-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Generative Programming and Component Engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings / Thu, 01 Jan 2004 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-30175-2 https://find.library.upatras.gr/Record/978-3-540-30175-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-46428-0 https://find.library.upatras.gr/Record/978-3-540-46428-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 CASL User Manual Introduction to Using the Common Algebraic Specification Language / Thu, 01 Jan 2004 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-44397-1 https://find.library.upatras.gr/Record/978-3-540-44397-1 Bidoit, Michel Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 Bidoit, Michel 0 Policies for Distributed Systems and Networks International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings / Mon, 01 Jan 2001 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-44569-2 https://find.library.upatras.gr/Record/978-3-540-44569-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / Mon, 01 Jan 2001 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45241-6 https://find.library.upatras.gr/Record/978-3-540-45241-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Advances in Databases and Information Systems 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45710-7 https://find.library.upatras.gr/Record/978-3-540-45710-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / Sat, 01 Jan 2000 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-46430-3 https://find.library.upatras.gr/Record/978-3-540-46430-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-46674-1 https://find.library.upatras.gr/Record/978-3-540-46674-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-48958-0 https://find.library.upatras.gr/Record/978-3-540-48958-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Generative Programming and Component Engineering Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / Wed, 01 Jan 2003 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-39815-8 https://find.library.upatras.gr/Record/978-3-540-39815-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-46002-2 https://find.library.upatras.gr/Record/978-3-540-46002-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / Mon, 01 Jan 2001 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45441-0 https://find.library.upatras.gr/Record/978-3-540-45441-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Compiler Construction 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45937-8 https://find.library.upatras.gr/Record/978-3-540-45937-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / Sat, 01 Jan 2000 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45350-5 https://find.library.upatras.gr/Record/978-3-540-45350-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-48166-9 https://find.library.upatras.gr/Record/978-3-540-48166-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Management Technologies for E-Commerce and E-Business Applications 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002, Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-36110-7 https://find.library.upatras.gr/Record/978-3-540-36110-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / Thu, 01 Jan 1998 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-49201-6 https://find.library.upatras.gr/Record/978-3-540-49201-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-48257-4 https://find.library.upatras.gr/Record/978-3-540-48257-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-47958-3 https://find.library.upatras.gr/Record/978-3-319-47958-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / Fri, 01 Jan 2016 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-319-48869-1 https://find.library.upatras.gr/Record/978-3-319-48869-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Biological and Artificial Computation: From Neuroscience to Technology International Work-Conference on Artificial and Natural Neural Networks, IWANN'97, Lanzarote, Canary Islands, Spain, June 4-6, 1997 Proceedings / Wed, 01 Jan 1997 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-69074-0 https://find.library.upatras.gr/Record/978-3-540-69074-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Multi-Agent Systems and Applications III 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings / Wed, 01 Jan 2003 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-45023-8 https://find.library.upatras.gr/Record/978-3-540-45023-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Agent-Oriented Software Engineering II Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-70657-1 https://find.library.upatras.gr/Record/978-3-540-70657-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Coordination Languages and Models Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-48919-1 https://find.library.upatras.gr/Record/978-3-540-48919-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / Thu, 01 Jan 2004 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-30482-1 https://find.library.upatras.gr/Record/978-3-540-30482-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / Tue, 01 Jan 2002 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-46000-8 https://find.library.upatras.gr/Record/978-3-540-46000-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Parallel Computing Technologies 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / Mon, 01 Jan 2001 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-44743-6 https://find.library.upatras.gr/Record/978-3-540-44743-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Networking - ICN 2001 First International Conference on Networking Colmar, France, July 9-13, 2001 Proceedings, Part I / Mon, 01 Jan 2001 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-47728-0 https://find.library.upatras.gr/Record/978-3-540-47728-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / Fri, 01 Jan 1999 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-48153-9 https://find.library.upatras.gr/Record/978-3-540-48153-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / Thu, 01 Jan 1998 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-49676-2 https://find.library.upatras.gr/Record/978-3-540-49676-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / Wed, 01 Jan 2003 14:20:17 +0200 https://find.library.upatras.gr/Record/978-3-540-39929-2 https://find.library.upatras.gr/Record/978-3-540-39929-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0