Objects and Databases (International Symposium, Sophia Antipolis, France, June 13, 2000 Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus R. Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva

Objects and Databases (International Symposium, Sophia Antipolis, France, June 13, 2000 Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus R. Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva

£44.87

Symbolic and Quantitative Approaches to Reasoning with Uncertainty (6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Salem Benferhat, Philippe Besnard

Symbolic and Quantitative Approaches to Reasoning with Uncertainty (6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Salem Benferhat, Philippe Besnard

£89.18

ZB 2002, Formal Specification and Development in Z and B (2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

ZB 2002, Formal Specification and Development in Z and B (2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

£45.09

Fundamental Approaches to Software Engineering (5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Lecture Notes in Compu)

By Ralf-Detlef Kutsche, Herbert Weber

Fundamental Approaches to Software Engineering (5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Lecture Notes in Compu)

By Ralf-Detlef Kutsche, Herbert Weber

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

Compiler Construction (11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Lecture Notes in Computer Science))

By R. Niegel Horspool

Compiler Construction (11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Lecture Notes in Computer Science))

By R. Niegel Horspool

£45.67

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

Algebraic Methodology and Software Technology (9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings (Lecture Notes in Computer Science))

By Helene Kirchner, Christophe Ringeissen

Algebraic Methodology and Software Technology (9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings (Lecture Notes in Computer Science))

By Helene Kirchner, Christophe Ringeissen

£45.88

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

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

£99.48

On the Move to Meaningful Internet Systems 2006, Coopis, DOA, Gada, and Odbase (OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings: Part I (Lecture Notes in Compu)

By Robert Meersman, Zahir Tari

On the Move to Meaningful Internet Systems 2006, Coopis, DOA, Gada, and Odbase (OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings: Part I (Lecture Notes in Compu)

By Robert Meersman, Zahir Tari

£120 Elsewhere ~~£129.99~~ Save £9.99 (8%)

Foundations of Data Organization and Algorithms (3rd International Conference, Fodo 1989, Paris, France, June 21-23, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Witold Litwin, Hans-Jorg Schek

Foundations of Data Organization and Algorithms (3rd International Conference, Fodo 1989, Paris, France, June 21-23, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Witold Litwin, Hans-Jorg Schek

£45.09

Database Machines (Sixth International Workshop, Iwdm '89, Deauville, France, June 19-21, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Haran Boral, Pascal Faudemay

Database Machines (Sixth International Workshop, Iwdm '89, Deauville, France, June 19-21, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Haran Boral, Pascal Faudemay

£44.99

Electronic Dictionaries and Automata in Computational Linguistics (LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings (Lecture Notes in Computer Science))

By Maurice Gross, Dominique Perrin

Electronic Dictionaries and Automata in Computational Linguistics (LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings (Lecture Notes in Computer Science))

By Maurice Gross, Dominique Perrin

£44.91

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

Attribute Grammars and Their Applications (International Conference, Paris, France, September 19-21, 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Martin Jourdan

Attribute Grammars and Their Applications (International Conference, Paris, France, September 19-21, 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Martin Jourdan

£45.54

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

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

£45.09

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

CAAP 92 (17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings (Lecture Notes in Computer Science))

By Jean-Claude Raoult

CAAP 92 (17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings (Lecture Notes in Computer Science))

By Jean-Claude Raoult

£45.54

View:
Safe Search(?):