Αποτελέσματα για "Design by contract"

Αποτελέσματα για "Design by contract" Εμφανίζονται 1 - 27 Αποτελέσματα από 27 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Design+by+contract%22&type=AllFields&lng=el 27 0 50 Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings / Tue, 01 Jan 2002 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-48046-4 https://find.library.upatras.gr/Record/978-3-540-48046-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Meta-Level Architectures and Reflection Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings / Fri, 01 Jan 1999 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-48443-1 https://find.library.upatras.gr/Record/978-3-540-48443-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Extreme Programming and Agile Processes in Software Engineering 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings / Wed, 01 Jan 2003 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-44870-9 https://find.library.upatras.gr/Record/978-3-540-44870-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers / Mon, 01 Jan 2001 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-44815-0 https://find.library.upatras.gr/Record/978-3-540-44815-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logistics Management Contributions of the Section Logistics of the German Academic Association for Business Research, 2015, Braunschweig, Germany / Fri, 01 Jan 2016 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-319-20863-3 https://find.library.upatras.gr/Record/978-3-319-20863-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Formalizing Data-Centric Web Services Thu, 01 Jan 2015 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-319-24678-9 https://find.library.upatras.gr/Record/978-3-319-24678-9 Saleh, Iman Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Saleh, Iman 0 Computers and Education E-Learning, From Theory to Practice / Mon, 01 Jan 2007 15:54:23 +0200 https://find.library.upatras.gr/Record/978-1-4020-4914-9 https://find.library.upatras.gr/Record/978-1-4020-4914-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Information Systems Outsourcing Enduring Themes, New Perspectives and Global Challenges / Sun, 01 Jan 2006 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-34877-1 https://find.library.upatras.gr/Record/978-3-540-34877-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / Sun, 01 Jan 2006 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-35176-4 https://find.library.upatras.gr/Record/978-3-540-35176-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / Sun, 01 Jan 2006 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-38872-2 https://find.library.upatras.gr/Record/978-3-540-38872-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Touch of Class Learning to Program Well with Objects and Contracts / Thu, 01 Jan 2009 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-92145-5 https://find.library.upatras.gr/Record/978-3-540-92145-5 Meyer, Bertrand Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 Meyer, Bertrand 0 Sukuk securities : new ways of debt contracting / Wed, 01 Jan 2014 15:54:23 +0200 https://find.library.upatras.gr/Record/ocn890531157 https://find.library.upatras.gr/Record/ocn890531157 Safari, Meysam Ηλ. βιβλίο 2014 Safari, Meysam 0 International construction contracts : a handbook : with commentary on the FIDIC design-build forms / Tue, 01 Jan 2013 15:54:23 +0200 https://find.library.upatras.gr/Record/ocn818466586 https://find.library.upatras.gr/Record/ocn818466586 Godwin, William, 1923- Ηλ. βιβλίο 2013 Godwin, William, 1923- 0 A Socially Responsible Islamic Finance Character and the Common Good / Sun, 01 Jan 2017 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-319-48841-7 https://find.library.upatras.gr/Record/978-3-319-48841-7 Moghul, Umar F. Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Moghul, Umar F. 0 CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / Fri, 01 Jan 2010 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-642-15375-4 https://find.library.upatras.gr/Record/978-3-642-15375-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 The Law of Business Organizations A Concise Overview of German Corporate Law / Sun, 01 Jan 2012 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-642-17793-4 https://find.library.upatras.gr/Record/978-3-642-17793-4 Schulz, Martin Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 Schulz, Martin 0 Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / Sat, 01 Jan 2005 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-32105-7 https://find.library.upatras.gr/Record/978-3-540-32105-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Tue, 01 Jan 2019 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-030-30923-7 https://find.library.upatras.gr/Record/978-3-030-30923-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / Sun, 01 Jan 2006 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-34064-5 https://find.library.upatras.gr/Record/978-3-540-34064-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / Mon, 01 Jan 2007 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-540-71876-5 https://find.library.upatras.gr/Record/978-3-540-71876-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 1003185.pdf Tue, 01 Jan 2019 15:54:23 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-26859 https://find.library.upatras.gr/Record/oapen-20.500.12657-26859 2019 0 Trends in Intelligent Systems and Computer Engineering Tue, 01 Jan 2008 15:54:23 +0200 https://find.library.upatras.gr/Record/978-0-387-74935-8 https://find.library.upatras.gr/Record/978-0-387-74935-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / Mon, 01 Jan 2018 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-319-94111-0 https://find.library.upatras.gr/Record/978-3-319-94111-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 FIDIC - A Guide for Practitioners Fri, 01 Jan 2010 15:54:23 +0200 https://find.library.upatras.gr/Record/978-3-642-02100-8 https://find.library.upatras.gr/Record/978-3-642-02100-8 Jaeger, Axel-Volkmar Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Jaeger, Axel-Volkmar 0 644831.pdf Wed, 01 Jan 2020 15:54:23 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-30616 https://find.library.upatras.gr/Record/oapen-20.500.12657-30616 2020 0 9791221502893_29.pdf Mon, 01 Jan 2024 15:54:23 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-89103 https://find.library.upatras.gr/Record/oapen-20.500.12657-89103 2024 0 The architect's guide to design-build services / Wed, 01 Jan 2003 15:54:23 +0200 https://find.library.upatras.gr/Record/138731 https://find.library.upatras.gr/Record/138731 Ηλ. βιβλίο 2003 0