Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

£45.66

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

£45.06

Implementation and Application of Automata (10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jacques Farre, Igor Litovsky, Sylvain Schmitz

Implementation and Application of Automata (10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jacques Farre, Igor Litovsky, Sylvain Schmitz

£45.54

Types for Proofs and Programs (International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Types for Proofs and Programs (International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

£45.16

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (2006 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Bruno Durand, Wolfgang Thomas

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (2006 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Bruno Durand, Wolfgang Thomas

£89.51

Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dave Thomas

Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dave Thomas

£45.09

Implementation and Application of Automata (7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers (Lecture Notes in Computer Science))

By Jean-Marc Champarnaud, Denis Maurel

Implementation and Application of Automata (7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers (Lecture Notes in Computer Science))

By Jean-Marc Champarnaud, Denis Maurel

£45.31

Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Michel Parigot, Andrei Voronkov

Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Michel Parigot, Andrei Voronkov

£45.67

Foundations of Software Science and Computation Structures (5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Lectu ..)

By Mogens Nielsen, Uffe Engberg

Foundations of Software Science and Computation Structures (5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Lectu ..)

By Mogens Nielsen, Uffe Engberg

£45.66

Tools and Algorithms for the Construction and Analysis of Systems (8th International Conference, Tacas 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2002, Grenoble, France, April 8-12, 2002. Proceedings (Le)

By Joost-Pieter Katoen, Perdita Stevens

Tools and Algorithms for the Construction and Analysis of Systems (8th International Conference, Tacas 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2002, Grenoble, France, April 8-12, 2002. Proceedings (Le)

By Joost-Pieter Katoen, Perdita Stevens

£45.66

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

£45.55

Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

£89.27

Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frederic Benhamou

Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frederic Benhamou

£98.43

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

£45.56

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))

By Christian Choffrut, Thomas Lengauer

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))

By Christian Choffrut, Thomas Lengauer

£45.31

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

£44.99

Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))

By Irene Guessarian

Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))

By Irene Guessarian

£45.13

Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts

Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts

£45.20

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Finkel, Matthias Jantzen

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Finkel, Matthias Jantzen

£88.77

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)

By Michel Bidoit, Christine Choppy

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)

By Michel Bidoit, Christine Choppy

£45.53

STACS '96 (13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Claude Puech, Rüdiger Reischuk

STACS '96 (13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Claude Puech, Rüdiger Reischuk

£88.81

Typed Lambda Calculi and Applications (Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings: Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, Nancy,)

By Philippe de Groote, J. Roger Hindley

Typed Lambda Calculi and Applications (Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings: Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, Nancy,)

By Philippe de Groote, J. Roger Hindley

£45.01

Logical Aspects of Computational Linguistics (First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Christian Retore

Logical Aspects of Computational Linguistics (First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Christian Retore

£45.61

Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Davide Sangiorgi, Robert de Simone

Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Davide Sangiorgi, Robert de Simone

£89.45

View:
Safe Search(?):