Cargando…

Reachability Problems Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings /

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verificatio...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bournez, Olivier (Editor ), Potapov, Igor (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Theoretical Computer Science and General Issues, 5797
Temas:	Computer science-Mathematics. Computer science. Computer programming. Algorithms. Mathematics of Computing. Theory of Computation. Programming Techniques. Computer Science Logic and Foundations of Programming.
Acceso en línea:	Texto Completo

Ejemplares similares

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
Publicado: (2016)

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Publicado: (2012)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Publicado: (2010)

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /
Publicado: (2013)

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publicado: (2011)

Frontiers in Algorithms 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings /
Publicado: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Publicado: (2010)

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
Publicado: (2015)

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings /
Publicado: (2009)

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
Publicado: (2010)

Practical Analysis of Algorithms
por: Vrajitoru, Dana, et al.
Publicado: (2014)

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Publicado: (2009)

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings /
Publicado: (2009)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Publicado: (2009)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /
Publicado: (2010)

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /
Publicado: (2010)

Theoretical Computer Science 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings /
Publicado: (2010)

The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings /
Publicado: (2013)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings /
Publicado: (2009)

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings /
Publicado: (2009)

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /
Publicado: (2014)

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
Publicado: (2011)

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 /
Publicado: (2015)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Publicado: (2010)

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /
Publicado: (2009)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /
Publicado: (2010)

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
Publicado: (2016)

Adapting Proofs-as-Programs The Curry--Howard Protocol /
por: Poernomo, Iman, et al.
Publicado: (2005)

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
Publicado: (2016)

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
Publicado: (2016)

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Publicado: (2013)

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /
Publicado: (2012)

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Publicado: (2012)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Publicado: (2015)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /
Publicado: (2013)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /
Publicado: (2010)

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Publicado: (2015)

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_gtboev658h7n3dd64inlkv0aev