Parallel Processing (CONPAR 92 - VAPP V: Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science))

By Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram

Parallel Processing (CONPAR 92 - VAPP V: Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science))

By Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram

$127

Memory Management (International Workshop IWMM 92, St.Malo, France, September 17-19, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bekkers, Jacques Cohen

Memory Management (International Workshop IWMM 92, St.Malo, France, September 17-19, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bekkers, Jacques Cohen

$120

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

$125

Conditional Term Rewriting Systems (Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Rusinowitch, Jean-Luc Remy

Conditional Term Rewriting Systems (Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Rusinowitch, Jean-Luc Remy

$120

Tapsoft '93 Theory and Practice of Software Development (4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Claude Gaudel, Jean-Pierre Jouannaud

Tapsoft '93 Theory and Practice of Software Development (4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Claude Gaudel, Jean-Pierre Jouannaud

$235

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

$127

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

$118

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

$117

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

$234

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

$125

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

$236

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

$124

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

$120

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

$116

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

$120

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

$232

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

$116

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

$128

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

$236

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

$243

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

$123

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

$120

Computer Safety, Reliability and Security (The 18th International Conference on Computer Safety, Reliability and Security, Toulouse, France, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Massimo Felici, Karama Kanoun, Alberto Pasquini

Computer Safety, Reliability and Security (The 18th International Conference on Computer Safety, Reliability and Security, Toulouse, France, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Massimo Felici, Karama Kanoun, Alberto Pasquini

$120

Software Engineering - ESEC/FSE '99 (7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings (Lecture Notes in Computer ..)

By Oskar Nierstrasz, Michel Lemoine

Software Engineering - ESEC/FSE '99 (7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings (Lecture Notes in Computer ..)

By Oskar Nierstrasz, Michel Lemoine

$124

View:
Safe Search(?):