Distributed Applications and Interoperable Systems (4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings (Lecture Notes in Computer Science))

By Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont

Distributed Applications and Interoperable Systems (4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings (Lecture Notes in Computer Science))

By Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont

£49.97

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

£45.01

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

£45.17

Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems (First International Conference, Cpaior 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artifici)

By Jean-Charles Regin, Michel Rueher

Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems (First International Conference, Cpaior 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artifici)

By Jean-Charles Regin, Michel Rueher

£45.60

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

£45.05

Principles and Practice of Semantic Web Reasoning (Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Hans Jurgen Ohlbach, Sebastian Schaffert

Principles and Practice of Semantic Web Reasoning (Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Hans Jurgen Ohlbach, Sebastian Schaffert

£44.98

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.67

Computational Methods in Systems Biology (International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Vincent Danos, Vincent Schachter

Computational Methods in Systems Biology (International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Vincent Danos, Vincent Schachter

£44.99

Engineering Societies in the Agents World (5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli

Engineering Societies in the Agents World (5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli

£45.04

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

£45.05

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.07

Software Product Lines (9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Henk Obbink, Klaus Pohl

Software Product Lines (9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Henk Obbink, Klaus Pohl

£45.03

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

£88.95

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.17

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.52

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

£45.14

Computational Processing of the Portuguese Language (7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Renata Vieira, Paulo Quaresma, Maria Das Graças Volpe Nunes, Nuno J. Mamede

Computational Processing of the Portuguese Language (7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Renata Vieira, Paulo Quaresma, Maria Das Graças Volpe Nunes, Nuno J. Mamede

£44.99

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

Reliable Software Technologies -- Ada-Europe 2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Rosen, Alfred Strohmeier

Reliable Software Technologies -- Ada-Europe 2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Rosen, Alfred Strohmeier

£45.02

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.32

Mobile Agents for Telecommunication Applications (Second International Workshop, Mata 2000, Paris, France, September 18-20, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eric Horlait

Mobile Agents for Telecommunication Applications (Second International Workshop, Mata 2000, Paris, France, September 18-20, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eric Horlait

£42.32 Elsewhere ~~£44.99~~ Save £2.67 (6%)

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.68

Research Issues in Structured and Semistructured Database Programming (7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, UK, September 1-3, 1999, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Ar)

By Richard Connor, Alberto Mendelzon

Research Issues in Structured and Semistructured Database Programming (7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, UK, September 1-3, 1999, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Ar)

By Richard Connor, Alberto Mendelzon

£45.02

View:
Safe Search(?):