STACS '94 (11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 - Proceedings (Lecture Notes in Computer Science))

By Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner

STACS '94 (11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 - Proceedings (Lecture Notes in Computer Science))

By Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner

£46.71

Automated Deduction — CADE-12 (12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Alan Bundy

Automated Deduction — CADE-12 (12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Alan Bundy

£46.74

Executable Modal and Temporal Logics (IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Michael Fisher, Richard Owens

Executable Modal and Temporal Logics (IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Michael Fisher, Richard Owens

£46.16

Constraint Programming (Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science))

By Andreas Podelski

Constraint Programming (Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science))

By Andreas Podelski

£46.19

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

£91.15

Object-Based Parallel and Distributed Computation (France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers (Lecture Notes in Computer Science))

By Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa

Object-Based Parallel and Distributed Computation (France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers (Lecture Notes in Computer Science))

By Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa

£46.69

Euro-Par '96 - Parallel Processing (Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I (Lecture Notes in Computer Science))

By Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert

Euro-Par '96 - Parallel Processing (Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I (Lecture Notes in Computer Science))

By Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert

£91.49

Software Process Technology (5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings (Lecture Notes in Computer Science))

By Carlo Montangero

Software Process Technology (5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings (Lecture Notes in Computer Science))

By Carlo Montangero

£46.36

Grammatical Inference - Learning Syntax from Sentences (Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Miclet, Colin de la Higuera

Grammatical Inference - Learning Syntax from Sentences (Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Miclet, Colin de la Higuera

£46.19

Hybrid and Real-Time Systems (International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Oded Maler

Hybrid and Real-Time Systems (International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Oded Maler

£45.91

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

£46.19

Artificial Intelligence in Medicine (6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Elpida Keravnou, Catherine Garbay, Robert Baud, E.T. Keravnou

Artificial Intelligence in Medicine (6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Elpida Keravnou, Catherine Garbay, Robert Baud, E.T. Keravnou

£91.05

TAPSOFT'97: Theory and Practice of Software Development (7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science))

By Michel Bidoit, Max Dauchet

TAPSOFT'97: Theory and Practice of Software Development (7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science))

By Michel Bidoit, Max Dauchet

£95.10

Computer Performance Evaluation Modelling Techniques and Tools (9th International Conference, St. Malo, France, June 3 - 6, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Raymond Marie, Brigitte Plateau, Maria Calzarossa

Computer Performance Evaluation Modelling Techniques and Tools (9th International Conference, St. Malo, France, June 3 - 6, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Raymond Marie, Brigitte Plateau, Maria Calzarossa

£46.21

Database and Expert Systems Applications (8th International Conference, Dexa '97, Toulouse, France, September 1-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Abdelkader Hameurlain, A. Min Tjoa

Database and Expert Systems Applications (8th International Conference, Dexa '97, Toulouse, France, September 1-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Abdelkader Hameurlain, A. Min Tjoa

£91.15

Rules in Database Systems (8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings (Lecture Notes in Computer Science))

By Andreas Geppert, Mikael Berndtsson

Rules in Database Systems (8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings (Lecture Notes in Computer Science))

By Andreas Geppert, Mikael Berndtsson

£46.36

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

£46.77

STACS 98 (15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : Proceedings (Lecture Notes in Computer Science))

By Michel Morvan, Christoph Meinel, Daniel Krob

STACS 98 (15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : Proceedings (Lecture Notes in Computer Science))

By Michel Morvan, Christoph Meinel, Daniel Krob

£91.11

Conceptual Structures - Theory, Tools and Applications (6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Laure Mugnier, Michel Chein

Conceptual Structures - Theory, Tools and Applications (6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Laure Mugnier, Michel Chein

£46.78

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

£91.76

Principles of Data Mining and Knowledge Discovery (Second European Symposium, Pkdd '98, Nantes, France, September 23-26, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan M. Zytkow, Mohamed Quafafou

Principles of Data Mining and Knowledge Discovery (Second European Symposium, Pkdd '98, Nantes, France, September 23-26, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan M. Zytkow, Mohamed Quafafou

£46.82

Principles of Digital Document Processing (4th International Workshop, PODDP '98, Saint-Malo, France, March 29-30, 1998 : Proceedings (Lecture Notes in Computer Science))

By Ethan V. Munson, Charles Nicholas, Derick Wood

Principles of Digital Document Processing (4th International Workshop, PODDP '98, Saint-Malo, France, March 29-30, 1998 : Proceedings (Lecture Notes in Computer Science))

By Ethan V. Munson, Charles Nicholas, Derick Wood

£46.15

Logical Aspects of Computational Linguistics (Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Lecomte, Francois Lamarche, Guy Perrier

Logical Aspects of Computational Linguistics (Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Lecomte, Francois Lamarche, Guy Perrier

£46.37

Theorem Proving in Higher Order Logics (12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin

Theorem Proving in Higher Order Logics (12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin

£46.22

View:
Safe Search(?):