Results for "operational semantics"

Results for "operational semantics" Showing 1 - 50 results of 122 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22operational+semantics%22&type=AllFields&lng=en 122 0 50 Aspect-Oriented Security Hardening of UML Design Models Thu, 01 Jan 2015 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-16106-8 https://find.library.upatras.gr/Record/978-3-319-16106-8 Mouheb, Djedjiga Electronic eBook 2015 Mouheb, Djedjiga 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Electronic eBook 2015 0 Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems / Fri, 01 Jan 2016 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-46766-5 https://find.library.upatras.gr/Record/978-3-319-46766-5 McKenney, Mark Electronic eBook 2016 McKenney, Mark 0 System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / Fri, 01 Jan 2016 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-46613-2 https://find.library.upatras.gr/Record/978-3-319-46613-2 Electronic eBook 2016 0 Intelligent Agents and Multi-Agent Systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings / Tue, 01 Jan 2002 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45680-3 https://find.library.upatras.gr/Record/978-3-540-45680-3 Electronic eBook 2002 0 Issues in Agent Communication Sat, 01 Jan 2000 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-40028-8 https://find.library.upatras.gr/Record/978-3-540-40028-8 Electronic eBook 2000 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 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-46467-9 https://find.library.upatras.gr/Record/978-3-540-46467-9 Electronic eBook 2000 0 Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48168-3 https://find.library.upatras.gr/Record/978-3-540-48168-3 Electronic eBook 1999 0 Methodologies for Knowledge Discovery and Data Mining Third Pacific-Asia Conference, PAKDD'99, Beijing, China, April 26-28, 1999, Proceedings / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48912-2 https://find.library.upatras.gr/Record/978-3-540-48912-2 Electronic eBook 1999 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 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Electronic eBook 2003 0 Formal Syntax and Semantics of Java Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48737-1 https://find.library.upatras.gr/Record/978-3-540-48737-1 Electronic eBook 1999 0 Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-40965-6 https://find.library.upatras.gr/Record/978-3-540-40965-6 Electronic eBook 2003 0 Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / Mon, 01 Jan 2001 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45653-7 https://find.library.upatras.gr/Record/978-3-540-45653-7 Electronic eBook 2001 0 UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings / Sat, 01 Jan 2000 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-40011-0 https://find.library.upatras.gr/Record/978-3-540-40011-0 Electronic eBook 2000 0 Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / Wed, 01 Jan 1997 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-69642-1 https://find.library.upatras.gr/Record/978-3-540-69642-1 Electronic eBook 1997 0 Implementation of Functional Languages 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48515-5 https://find.library.upatras.gr/Record/978-3-540-48515-5 Electronic eBook 1999 0 Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / Tue, 01 Jan 2002 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45699-5 https://find.library.upatras.gr/Record/978-3-540-45699-5 Electronic eBook 2002 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 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Electronic eBook 2002 0 AI 2001: Advances in Artificial Intelligence 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / Mon, 01 Jan 2001 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45656-8 https://find.library.upatras.gr/Record/978-3-540-45656-8 Electronic eBook 2001 0 Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-30477-7 https://find.library.upatras.gr/Record/978-3-540-30477-7 Electronic eBook 2004 0 Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48164-5 https://find.library.upatras.gr/Record/978-3-540-48164-5 Electronic eBook 1999 0 Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-36481-8 https://find.library.upatras.gr/Record/978-3-540-36481-8 Electronic eBook 2003 0 Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48256-7 https://find.library.upatras.gr/Record/978-3-540-48256-7 Electronic eBook 1999 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Electronic eBook 2004 0 Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-39958-2 https://find.library.upatras.gr/Record/978-3-540-39958-2 Electronic eBook 2003 0 Model-Based Systems Engineering with OPM and SysML Fri, 01 Jan 2016 15:07:43 +0200 https://find.library.upatras.gr/Record/978-1-4939-3295-5 https://find.library.upatras.gr/Record/978-1-4939-3295-5 Dori, Dov Electronic eBook 2016 Dori, Dov 0 Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / Tue, 01 Jan 2002 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-46000-8 https://find.library.upatras.gr/Record/978-3-540-46000-8 Electronic eBook 2002 0 Fundamentals of Computation Theory 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45077-1 https://find.library.upatras.gr/Record/978-3-540-45077-1 Electronic eBook 2003 0 Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-36498-6 https://find.library.upatras.gr/Record/978-3-540-36498-6 Electronic eBook 2003 0 Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / Wed, 01 Jan 2003 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-39866-0 https://find.library.upatras.gr/Record/978-3-540-39866-0 Electronic eBook 2003 0 FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48118-8 https://find.library.upatras.gr/Record/978-3-540-48118-8 Electronic eBook 1999 0 Smart Card Programming and Security International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings / Mon, 01 Jan 2001 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-45418-2 https://find.library.upatras.gr/Record/978-3-540-45418-2 Electronic eBook 2001 0 Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / Mon, 01 Jan 2001 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-44798-6 https://find.library.upatras.gr/Record/978-3-540-44798-6 Electronic eBook 2001 0 Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / Fri, 01 Jan 1999 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-48959-7 https://find.library.upatras.gr/Record/978-3-540-48959-7 Electronic eBook 1999 0 Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / Sat, 01 Jan 2000 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-40911-3 https://find.library.upatras.gr/Record/978-3-540-40911-3 Electronic eBook 2000 0 Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / Wed, 01 Jan 1997 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-69661-2 https://find.library.upatras.gr/Record/978-3-540-69661-2 Electronic eBook 1997 0 Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings / Sat, 01 Jan 2000 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-44929-4 https://find.library.upatras.gr/Record/978-3-540-44929-4 Electronic eBook 2000 0 Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / Thu, 01 Jan 2015 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-28114-8 https://find.library.upatras.gr/Record/978-3-319-28114-8 Electronic eBook 2015 0 New Development in Robot Vision Thu, 01 Jan 2015 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-662-43859-6 https://find.library.upatras.gr/Record/978-3-662-43859-6 Electronic eBook 2015 0 Coordination Models and Languages 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-24634-3 https://find.library.upatras.gr/Record/978-3-540-24634-3 Electronic eBook 2004 0 Fundamental Approaches to Software Engineering 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-24721-0 https://find.library.upatras.gr/Record/978-3-540-24721-0 Electronic eBook 2004 0 Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-25932-9 https://find.library.upatras.gr/Record/978-3-540-25932-9 Electronic eBook 2004 0 Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings / Thu, 01 Jan 2004 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-540-27775-0 https://find.library.upatras.gr/Record/978-3-540-27775-0 Electronic eBook 2004 0 Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Sun, 01 Jan 2017 15:07:43 +0200 https://find.library.upatras.gr/Record/10.1145%2F3130261 https://find.library.upatras.gr/Record/10.1145%2F3130261 Electronic Conference Proceeding eBook 2017 0 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs Tue, 01 Jan 2019 15:07:43 +0200 https://find.library.upatras.gr/Record/10.1145%2F3293880 https://find.library.upatras.gr/Record/10.1145%2F3293880 Electronic Conference Proceeding eBook 2019 0 Proceedings of the XXII Brazilian Symposium on Programming Languages Mon, 01 Jan 2018 15:07:43 +0200 https://find.library.upatras.gr/Record/10.1145%2F3264637 https://find.library.upatras.gr/Record/10.1145%2F3264637 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming Fri, 01 Jan 2016 15:07:43 +0200 https://find.library.upatras.gr/Record/10.1145%2F2967973 https://find.library.upatras.gr/Record/10.1145%2F2967973 Electronic Conference Proceeding eBook 2016 0 Models of Computation Sun, 01 Jan 2017 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-42900-7 https://find.library.upatras.gr/Record/978-3-319-42900-7 Bruni, Roberto Electronic eBook 2017 Bruni, Roberto 0 Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization / Sun, 01 Jan 2017 15:07:43 +0200 https://find.library.upatras.gr/Record/978-3-319-69868-7 https://find.library.upatras.gr/Record/978-3-319-69868-7 Draheim, Dirk Electronic eBook 2017 Draheim, Dirk 0 Understanding Concurrent Systems Fri, 01 Jan 2010 15:07:43 +0200 https://find.library.upatras.gr/Record/978-1-84882-258-0 https://find.library.upatras.gr/Record/978-1-84882-258-0 Roscoe, A.W Electronic eBook 2010 Roscoe, A.W 0