Results for "computational logic"

Results for "computational logic" Showing 1 - 50 results of 1881 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22computational+logic%22&type=AllFields&lng=en 1881 0 50 Validation of Evolving Software Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-10623-6 https://find.library.upatras.gr/Record/978-3-319-10623-6 Electronic eBook 2015 0 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Electronic eBook 2015 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Electronic eBook 2015 0 Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-15317-9 https://find.library.upatras.gr/Record/978-3-319-15317-9 Electronic eBook 2015 0 The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-15368-1 https://find.library.upatras.gr/Record/978-3-319-15368-1 Electronic eBook 2015 0 Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-15545-6 https://find.library.upatras.gr/Record/978-3-319-15545-6 Electronic eBook 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-15940-9 https://find.library.upatras.gr/Record/978-3-319-15940-9 Electronic eBook 2015 0 Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-16101-3 https://find.library.upatras.gr/Record/978-3-319-16101-3 Electronic eBook 2015 0 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-16310-9 https://find.library.upatras.gr/Record/978-3-319-16310-9 Electronic eBook 2015 0 Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-17142-5 https://find.library.upatras.gr/Record/978-3-319-17142-5 Electronic eBook 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Electronic eBook 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-17581-2 https://find.library.upatras.gr/Record/978-3-319-17581-2 Electronic eBook 2015 0 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Electronic eBook 2015 0 The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-18821-8 https://find.library.upatras.gr/Record/978-3-319-18821-8 Jureta, Ivan Electronic eBook 2015 Jureta, Ivan 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-18941-3 https://find.library.upatras.gr/Record/978-3-319-18941-3 Electronic eBook 2015 0 Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19084-6 https://find.library.upatras.gr/Record/978-3-319-19084-6 Electronic eBook 2015 0 Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Electronic eBook 2015 0 Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19225-3 https://find.library.upatras.gr/Record/978-3-319-19225-3 Electronic eBook 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19249-9 https://find.library.upatras.gr/Record/978-3-319-19249-9 Electronic eBook 2015 0 Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 Electronic eBook 2015 0 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19458-5 https://find.library.upatras.gr/Record/978-3-319-19458-5 Electronic eBook 2015 0 Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19488-2 https://find.library.upatras.gr/Record/978-3-319-19488-2 Electronic eBook 2015 0 Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19584-1 https://find.library.upatras.gr/Record/978-3-319-19584-1 Electronic eBook 2015 0 Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19686-2 https://find.library.upatras.gr/Record/978-3-319-19686-2 Electronic eBook 2015 0 Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-19797-5 https://find.library.upatras.gr/Record/978-3-319-19797-5 Electronic eBook 2015 0 Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-20297-6 https://find.library.upatras.gr/Record/978-3-319-20297-6 Electronic eBook 2015 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-20807-7 https://find.library.upatras.gr/Record/978-3-319-20807-7 Electronic eBook 2015 0 Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-20860-2 https://find.library.upatras.gr/Record/978-3-319-20860-2 Electronic eBook 2015 0 Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21145-9 https://find.library.upatras.gr/Record/978-3-319-21145-9 Electronic eBook 2015 0 Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21151-0 https://find.library.upatras.gr/Record/978-3-319-21151-0 Electronic eBook 2015 0 Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21155-8 https://find.library.upatras.gr/Record/978-3-319-21155-8 Electronic eBook 2015 0 Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21215-9 https://find.library.upatras.gr/Record/978-3-319-21215-9 Electronic eBook 2015 0 Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21398-9 https://find.library.upatras.gr/Record/978-3-319-21398-9 Electronic eBook 2015 0 Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21542-6 https://find.library.upatras.gr/Record/978-3-319-21542-6 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Electronic eBook 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-21741-3 https://find.library.upatras.gr/Record/978-3-319-21741-3 Electronic eBook 2015 0 Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-22102-1 https://find.library.upatras.gr/Record/978-3-319-22102-1 Electronic eBook 2015 0 Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-22177-9 https://find.library.upatras.gr/Record/978-3-319-22177-9 Electronic eBook 2015 0 Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-22264-6 https://find.library.upatras.gr/Record/978-3-319-22264-6 Electronic eBook 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +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 Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-22975-1 https://find.library.upatras.gr/Record/978-3-319-22975-1 Electronic eBook 2015 0 Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23021-4 https://find.library.upatras.gr/Record/978-3-319-23021-4 Electronic eBook 2015 0 Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23111-2 https://find.library.upatras.gr/Record/978-3-319-23111-2 Electronic eBook 2015 0 Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23129-7 https://find.library.upatras.gr/Record/978-3-319-23129-7 Electronic eBook 2015 0 Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23165-5 https://find.library.upatras.gr/Record/978-3-319-23165-5 Electronic eBook 2015 0 Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23264-5 https://find.library.upatras.gr/Record/978-3-319-23264-5 Electronic eBook 2015 0 Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23404-5 https://find.library.upatras.gr/Record/978-3-319-23404-5 Electronic eBook 2015 0 Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / Thu, 01 Jan 2015 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-23506-6 https://find.library.upatras.gr/Record/978-3-319-23506-6 Electronic eBook 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 09:53:21 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Electronic eBook 2016 0