Results for "denotational semantics"

Results for "denotational semantics" Showing 1 - 39 results of 39 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22denotational+semantics%22&type=AllFields&lng=en 39 0 50 Aspect-Oriented Security Hardening of UML Design Models Thu, 01 Jan 2015 02:12:22 +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 Formal Syntax and Semantics of Java Fri, 01 Jan 1999 02:12:22 +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 Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / Thu, 01 Jan 1998 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-68681-1 https://find.library.upatras.gr/Record/978-3-540-68681-1 Electronic eBook 1998 0 Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / Wed, 01 Jan 1997 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-69806-7 https://find.library.upatras.gr/Record/978-3-540-69806-7 Electronic eBook 1997 0 SOFSEM '97: Theory and Practice of Informatics 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / Wed, 01 Jan 1997 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-69645-2 https://find.library.upatras.gr/Record/978-3-540-69645-2 Electronic eBook 1997 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 02:12:22 +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 Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Wed, 01 Jan 2003 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-45220-1 https://find.library.upatras.gr/Record/978-3-540-45220-1 Electronic eBook 2003 0 Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings / Sat, 01 Jan 2000 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-44957-7 https://find.library.upatras.gr/Record/978-3-540-44957-7 Electronic eBook 2000 0 Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Wed, 01 Jan 1997 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-69058-0 https://find.library.upatras.gr/Record/978-3-540-69058-0 Electronic eBook 1997 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 02:12:22 +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 978-3-031-08020-3.pdf Sat, 01 Jan 2022 02:12:22 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57384 https://find.library.upatras.gr/Record/oapen-20.500.12657-57384 2022 0 Proceedings of the 6th European Lisp Workshop Thu, 01 Jan 2009 02:12:22 +0200 https://find.library.upatras.gr/Record/10.1145%2F1562868 https://find.library.upatras.gr/Record/10.1145%2F1562868 Electronic Conference Proceeding eBook 2009 0 Models of Computation Sun, 01 Jan 2017 02:12:22 +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 Understanding Concurrent Systems Fri, 01 Jan 2010 02:12:22 +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 Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics / Sun, 01 Jan 2017 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-55198-7 https://find.library.upatras.gr/Record/978-3-642-55198-7 Draheim, Dirk Electronic eBook 2017 Draheim, Dirk 0 Argumentation in Multi-Agent Systems First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / Sat, 01 Jan 2005 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-32261-0 https://find.library.upatras.gr/Record/978-3-540-32261-0 Electronic eBook 2005 0 Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / Sun, 01 Jan 2006 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-33046-2 https://find.library.upatras.gr/Record/978-3-540-33046-2 Electronic eBook 2006 0 Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / Thu, 01 Jan 2009 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-00982-2 https://find.library.upatras.gr/Record/978-3-642-00982-2 Electronic eBook 2009 0 Introduction to the Theory of Programming Languages Sat, 01 Jan 2011 02:12:22 +0200 https://find.library.upatras.gr/Record/978-0-85729-076-2 https://find.library.upatras.gr/Record/978-0-85729-076-2 Dowek, Gilles Electronic eBook 2011 Dowek, Gilles 0 Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday / Mon, 01 Jan 2018 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-319-98047-8 https://find.library.upatras.gr/Record/978-3-319-98047-8 Electronic eBook 2018 0 Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / Fri, 01 Jan 2010 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-14808-8 https://find.library.upatras.gr/Record/978-3-642-14808-8 Electronic eBook 2010 0 Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / Fri, 01 Jan 2010 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-16690-7 https://find.library.upatras.gr/Record/978-3-642-16690-7 Electronic eBook 2010 0 Concrete Semantics With Isabelle/HOL / Wed, 01 Jan 2014 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-319-10542-0 https://find.library.upatras.gr/Record/978-3-319-10542-0 Nipkow, Tobias Electronic eBook 2014 Nipkow, Tobias 0 Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / Sat, 01 Jan 2005 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-31947-4 https://find.library.upatras.gr/Record/978-3-540-31947-4 Electronic eBook 2005 0 Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / Sat, 01 Jan 2005 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-31987-0 https://find.library.upatras.gr/Record/978-3-540-31987-0 Electronic eBook 2005 0 Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-73351-5 https://find.library.upatras.gr/Record/978-3-540-73351-5 Electronic eBook 2007 0 Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-73814-5 https://find.library.upatras.gr/Record/978-3-540-73814-5 Electronic eBook 2007 0 Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-75221-9 https://find.library.upatras.gr/Record/978-3-540-75221-9 Electronic eBook 2007 0 Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-75989-8 https://find.library.upatras.gr/Record/978-3-540-75989-8 Electronic eBook 2007 0 Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-76650-6 https://find.library.upatras.gr/Record/978-3-540-76650-6 Electronic eBook 2007 0 Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings / Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-77115-9 https://find.library.upatras.gr/Record/978-3-540-77115-9 Electronic eBook 2007 0 Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / Tue, 01 Jan 2008 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-78739-6 https://find.library.upatras.gr/Record/978-3-540-78739-6 Electronic eBook 2008 0 Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / Tue, 01 Jan 2008 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-540-79228-4 https://find.library.upatras.gr/Record/978-3-540-79228-4 Electronic eBook 2008 0 Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / Thu, 01 Jan 2009 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-03359-9 https://find.library.upatras.gr/Record/978-3-642-03359-9 Electronic eBook 2009 0 Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / Thu, 01 Jan 2009 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-04164-8 https://find.library.upatras.gr/Record/978-3-642-04164-8 Electronic eBook 2009 0 FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / Thu, 01 Jan 2009 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-05089-3 https://find.library.upatras.gr/Record/978-3-642-05089-3 Electronic eBook 2009 0 Semantics with Applications: An Appetizer Mon, 01 Jan 2007 02:12:22 +0200 https://find.library.upatras.gr/Record/978-1-84628-692-6 https://find.library.upatras.gr/Record/978-1-84628-692-6 Nielson, Hanne Riis Electronic eBook 2007 Nielson, Hanne Riis 0 Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / Tue, 01 Jan 2013 02:12:22 +0200 https://find.library.upatras.gr/Record/978-3-642-35705-3 https://find.library.upatras.gr/Record/978-3-642-35705-3 Electronic eBook 2013 0 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory Sat, 01 Jan 1977 02:12:22 +0200 https://find.library.upatras.gr/Record/84830 https://find.library.upatras.gr/Record/84830 Stoy, Joseph E. Book 1977 Stoy, Joseph E. 0