Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings /

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings /

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in compu...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kutyłowski, Mirosław (Επιμελητής έκδοσης), Charatonik, Witold (Επιμελητής έκδοσης), Gębala, Maciej (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Σειρά:	Lecture Notes in Computer Science, 5699
Θέματα:	Computer science. Computer programming. Programming languages (Electronic computers). Computers. Algorithms. Mathematical logic. Computer Science. Programming Techniques. Programming Languages, Compilers, Interpreters. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /
Έκδοση: (2010)

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Έκδοση: (2017)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
Έκδοση: (2008)

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Έκδοση: (2009)

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Έκδοση: (2012)

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
Έκδοση: (2011)

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /
Έκδοση: (2013)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings /
Έκδοση: (2006)

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Έκδοση: (2015)

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Έκδοση: (2017)

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Έκδοση: (2013)

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Έκδοση: (2017)

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Έκδοση: (2014)

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /
Έκδοση: (2011)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
Έκδοση: (2010)

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Έκδοση: (2017)

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Έκδοση: (2015)

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Έκδοση: (2013)

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Έκδοση: (2014)

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Έκδοση: (2013)

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /
Έκδοση: (2011)

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /
Έκδοση: (2012)

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Έκδοση: (2012)

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Έκδοση: (2017)

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity /
ανά: Zeume, Thomas
Έκδοση: (2017)

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Έκδοση: (2011)

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Έκδοση: (2012)

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Έκδοση: (2012)

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Έκδοση: (2012)

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /
Έκδοση: (2009)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2006)

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
Έκδοση: (2009)

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings /
Έκδοση: (2009)

Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Έκδοση: (2010)

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Έκδοση: (2009)

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
Έκδοση: (2016)

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
Έκδοση: (2009)

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Έκδοση: (2015)

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
Έκδοση: (2014)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings /
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών