Chargement en cours…

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Détails bibliographiques
Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Benhamou, Frédéric (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:	1st ed. 2006.
Collection:	Programming and Software Engineering, 4204
Sujets:	Software engineering. Computer programming. Compilers (Computer programs). Artificial intelligence. Computer science. Machine theory. Software Engineering. Programming Techniques. Compilers and Interpreters. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Accès en ligne:	Texto Completo

Documents similaires

Chargement en cours…

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /
Publié: (2005)

Chargement en cours…

Principles and Practice of Constraint Programming -- CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publié: (2006)

Chargement en cours…

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Publié: (2010)

Chargement en cours…

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Publié: (2014)

Chargement en cours…

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Publié: (2016)

Chargement en cours…

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /
Publié: (2010)

Chargement en cours…

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Publié: (2010)

Chargement en cours…

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
Publié: (2016)

Chargement en cours…

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /
Publié: (2010)

Chargement en cours…

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings /
Publié: (2010)

Chargement en cours…

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
Publié: (2011)

Chargement en cours…

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /
Publié: (2013)

Chargement en cours…

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
Publié: (2010)

Chargement en cours…

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Publié: (2006)

Chargement en cours…

Compiler Construction 17th International Conference, CC 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 /
Publié: (2008)

Chargement en cours…

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings /
Publié: (2012)

Chargement en cours…

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Publié: (2011)

Chargement en cours…

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers /
Publié: (2011)

Chargement en cours…

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
Publié: (2013)

Chargement en cours…

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publié: (2013)

Chargement en cours…

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
par: Puppis, Gabriele
Publié: (2010)

Chargement en cours…

Deductive Software Verification - The KeY Book From Theory to Practice /
Publié: (2016)

Chargement en cours…

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Publié: (2007)

Chargement en cours…

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Publié: (2005)

Chargement en cours…

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /
Publié: (2010)

Chargement en cours…

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
Publié: (2009)

Chargement en cours…

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Publié: (2016)

Chargement en cours…

Automated Deduction - CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Publié: (2009)

Chargement en cours…

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Publié: (2015)

Chargement en cours…

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publié: (2016)

Cannot write session to /tmp/vufind_sessions/sess_j9s6vot5o0psavglgnte7bv39u