Αποτελέσματα για "Mathematical Logic and Formal Languages."

Αποτελέσματα για "Mathematical Logic and Formal Languages." Εμφανίζονται 1 - 50 Αποτελέσματα από 1977 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Mathematical+Logic+and+Formal+Languages.%22&type=Subject&lng=el 1977 0 50 Gentzen's Centenary The Quest for Consistency / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-10103-3 https://find.library.upatras.gr/Record/978-3-319-10103-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +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 Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-15317-9 https://find.library.upatras.gr/Record/978-3-319-15317-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-15545-6 https://find.library.upatras.gr/Record/978-3-319-15545-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-16310-9 https://find.library.upatras.gr/Record/978-3-319-16310-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 One Hundred Prisoners and a Light Bulb Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-16694-0 https://find.library.upatras.gr/Record/978-3-319-16694-0 van Ditmarsch, Hans Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 van Ditmarsch, Hans 0 Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-17142-5 https://find.library.upatras.gr/Record/978-3-319-17142-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +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 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering / Thu, 01 Jan 2015 06:27:01 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Jureta, Ivan 0 Linguistic Expressions and Semantic Processing A Practical Approach / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-18830-0 https://find.library.upatras.gr/Record/978-3-319-18830-0 Butler, Alastair Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Butler, Alastair 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 06:27:01 +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 Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19063-1 https://find.library.upatras.gr/Record/978-3-319-19063-1 Clerbout, Nicolas Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Clerbout, Nicolas 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19225-3 https://find.library.upatras.gr/Record/978-3-319-19225-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +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 Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19315-1 https://find.library.upatras.gr/Record/978-3-319-19315-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19384-7 https://find.library.upatras.gr/Record/978-3-319-19384-7 Pykacz, Jarosław Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Pykacz, Jarosław 0 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 06:27:01 +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 Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19545-2 https://find.library.upatras.gr/Record/978-3-319-19545-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19584-1 https://find.library.upatras.gr/Record/978-3-319-19584-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-19797-5 https://find.library.upatras.gr/Record/978-3-319-19797-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-20028-6 https://find.library.upatras.gr/Record/978-3-319-20028-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-20297-6 https://find.library.upatras.gr/Record/978-3-319-20297-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-20615-8 https://find.library.upatras.gr/Record/978-3-319-20615-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-20807-7 https://find.library.upatras.gr/Record/978-3-319-20807-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21145-9 https://find.library.upatras.gr/Record/978-3-319-21145-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21215-9 https://find.library.upatras.gr/Record/978-3-319-21215-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21362-0 https://find.library.upatras.gr/Record/978-3-319-21362-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21365-1 https://find.library.upatras.gr/Record/978-3-319-21365-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21500-6 https://find.library.upatras.gr/Record/978-3-319-21500-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-21768-0 https://find.library.upatras.gr/Record/978-3-319-21768-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22102-1 https://find.library.upatras.gr/Record/978-3-319-22102-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22360-5 https://find.library.upatras.gr/Record/978-3-319-22360-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Information Technology in Bio- and Medical Informatics 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22741-2 https://find.library.upatras.gr/Record/978-3-319-22741-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22750-4 https://find.library.upatras.gr/Record/978-3-319-22750-4 Doberkat, Ernst-Erich Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Doberkat, Ernst-Erich 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +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 Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22975-1 https://find.library.upatras.gr/Record/978-3-319-22975-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23021-4 https://find.library.upatras.gr/Record/978-3-319-23021-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23111-2 https://find.library.upatras.gr/Record/978-3-319-23111-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23165-5 https://find.library.upatras.gr/Record/978-3-319-23165-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23219-5 https://find.library.upatras.gr/Record/978-3-319-23219-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Thu, 01 Jan 2015 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23264-5 https://find.library.upatras.gr/Record/978-3-319-23264-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-23506-6 https://find.library.upatras.gr/Record/978-3-319-23506-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 06:27:01 +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 A New Perspective on Nonmonotonic Logics Fri, 01 Jan 2016 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-46817-4 https://find.library.upatras.gr/Record/978-3-319-46817-4 Gabbay, Dov M. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Gabbay, Dov M. 0 Advances in Proof-Theoretic Semantics Fri, 01 Jan 2016 06:27:01 +0200 https://find.library.upatras.gr/Record/978-3-319-22686-6 https://find.library.upatras.gr/Record/978-3-319-22686-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0