Αποτελέσματα για "Formal Methods"

Αποτελέσματα για "Formal Methods" Εμφανίζονται 1 - 50 Αποτελέσματα από 739 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Formal+Methods%22&type=AllFields&lng=el 739 0 50 Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-06317-1 https://find.library.upatras.gr/Record/978-3-319-06317-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-10521-5 https://find.library.upatras.gr/Record/978-3-319-10521-5 Yoong, Li Hsien Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Yoong, Li Hsien 0 Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-15392-6 https://find.library.upatras.gr/Record/978-3-319-15392-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-15618-7 https://find.library.upatras.gr/Record/978-3-319-15618-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formalisms for Reuse and Systems Integration Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-16577-6 https://find.library.upatras.gr/Record/978-3-319-16577-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-17581-2 https://find.library.upatras.gr/Record/978-3-319-17581-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-18941-3 https://find.library.upatras.gr/Record/978-3-319-18941-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-19249-9 https://find.library.upatras.gr/Record/978-3-319-19249-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-19458-5 https://find.library.upatras.gr/Record/978-3-319-19458-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-21741-3 https://find.library.upatras.gr/Record/978-3-319-21741-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-22177-9 https://find.library.upatras.gr/Record/978-3-319-22177-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / Thu, 01 Jan 2015 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-23534-9 https://find.library.upatras.gr/Record/978-3-319-23534-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / Fri, 01 Jan 2016 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Formal SQL Tuning for Oracle Databases Practical Efficiency - Efficient Practice / Fri, 01 Jan 2016 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-662-50417-8 https://find.library.upatras.gr/Record/978-3-662-50417-8 Nossov, Leonid Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Nossov, Leonid 0 Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / Fri, 01 Jan 2016 14:44:08 +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 Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches / Fri, 01 Jan 2016 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-32871-3 https://find.library.upatras.gr/Record/978-3-319-32871-3 Al-Shaer, Ehab Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Al-Shaer, Ehab 0 Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Fri, 01 Jan 2016 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-47677-3 https://find.library.upatras.gr/Record/978-3-319-47677-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / Sat, 01 Jan 2000 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-46467-9 https://find.library.upatras.gr/Record/978-3-540-46467-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Challenges for Action Theories Sat, 01 Jan 2000 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45596-7 https://find.library.upatras.gr/Record/978-3-540-45596-7 Thielscher, Michael Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 Thielscher, Michael 0 Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-48753-1 https://find.library.upatras.gr/Record/978-3-540-48753-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Spatial Cognition II Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / Sat, 01 Jan 2000 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45460-1 https://find.library.upatras.gr/Record/978-3-540-45460-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / Wed, 01 Jan 2003 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-36384-2 https://find.library.upatras.gr/Record/978-3-540-36384-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / Wed, 01 Jan 2003 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Formal Syntax and Semantics of Java Fri, 01 Jan 1999 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-48737-1 https://find.library.upatras.gr/Record/978-3-540-48737-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / Thu, 01 Jan 2004 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-30227-8 https://find.library.upatras.gr/Record/978-3-540-30227-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45614-8 https://find.library.upatras.gr/Record/978-3-540-45614-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / Mon, 01 Jan 2001 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45484-7 https://find.library.upatras.gr/Record/978-3-540-45484-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Software Engineering with Computational Intelligence Wed, 01 Jan 2003 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-36423-8 https://find.library.upatras.gr/Record/978-3-540-36423-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Mathematical Foundations of Computer Science 2002 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / Tue, 01 Jan 2002 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45687-2 https://find.library.upatras.gr/Record/978-3-540-45687-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / Wed, 01 Jan 2003 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45236-2 https://find.library.upatras.gr/Record/978-3-540-45236-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / Sat, 01 Jan 2000 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-44525-8 https://find.library.upatras.gr/Record/978-3-540-44525-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings / Thu, 01 Jan 2004 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-24841-5 https://find.library.upatras.gr/Record/978-3-540-24841-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / Wed, 01 Jan 1997 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-68490-9 https://find.library.upatras.gr/Record/978-3-540-68490-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computational Linguistics and Intelligent Text Processing Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings / Tue, 01 Jan 2002 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45715-2 https://find.library.upatras.gr/Record/978-3-540-45715-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 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:44:08 +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 Formal Hardware Verification Methods and Systems in Comparison / Wed, 01 Jan 1997 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-69577-6 https://find.library.upatras.gr/Record/978-3-540-69577-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / Wed, 01 Jan 2003 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-39800-4 https://find.library.upatras.gr/Record/978-3-540-39800-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Advances in Databases and Information Systems 5th East European Conference, ADBIS 2001, Vilnius, Lithuania September 25-28, 2001 Proceedings / Mon, 01 Jan 2001 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-44803-7 https://find.library.upatras.gr/Record/978-3-540-44803-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / Mon, 01 Jan 2001 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45251-5 https://find.library.upatras.gr/Record/978-3-540-45251-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / Mon, 01 Jan 2001 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45245-4 https://find.library.upatras.gr/Record/978-3-540-45245-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / Tue, 01 Jan 2002 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-47884-3 https://find.library.upatras.gr/Record/978-3-540-47884-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings / Thu, 01 Jan 1998 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-49646-5 https://find.library.upatras.gr/Record/978-3-540-49646-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Advances in Computing Science - ASIAN'98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings / Thu, 01 Jan 1998 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-49366-2 https://find.library.upatras.gr/Record/978-3-540-49366-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Advanced Information Systems Engineering 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings / Wed, 01 Jan 1997 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-69148-8 https://find.library.upatras.gr/Record/978-3-540-69148-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Parallel and Distributed Processing 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings / Thu, 01 Jan 1998 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-69756-5 https://find.library.upatras.gr/Record/978-3-540-69756-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 B'98: Recent Advances in the Development and Use of the B Method Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Thu, 01 Jan 1998 14:44:08 +0200 https://find.library.upatras.gr/Record/978-3-540-69769-5 https://find.library.upatras.gr/Record/978-3-540-69769-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0