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

£46.24

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

£46.26

Principles and Practice of Declarative Programming (International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science))

By Gopalan Nadathur

Principles and Practice of Declarative Programming (International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science))

By Gopalan Nadathur

£46.20

Research and Advanced Technology for Digital Libraries (Third European Conference, ECDL '99, Paris, France, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Anne-Marie Vercoustre, A S. Abiteboul

Research and Advanced Technology for Digital Libraries (Third European Conference, ECDL '99, Paris, France, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Anne-Marie Vercoustre, A S. Abiteboul

£95.56

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£91.48

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£101

Automata Implementation (Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers (Lecture Notes in Computer Science))

By Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

Automata Implementation (Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers (Lecture Notes in Computer Science))

By Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

£46.20

STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (2000 (Lecture Notes in Computer Science))

By Horst Reichel, Sophie Tison

STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (2000 (Lecture Notes in Computer Science))

By Horst Reichel, Sophie Tison

£91.27

ECOOP 2000--Object-Oriented Programming (14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : Proceedings (Lecture Notes in Computer Science))

By Elisa Bertino

ECOOP 2000--Object-Oriented Programming (14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : Proceedings (Lecture Notes in Computer Science))

By Elisa Bertino

£46.25

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

£46.24

Verification, Model Checking, and Abstract Interpretation (8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Byron Cook, Andreas Podelski

Verification, Model Checking, and Abstract Interpretation (8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Byron Cook, Andreas Podelski

£46.20

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

£52.20

Conceptual Structures (Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings (Lecture Notes in Artificial Intelligence))

By Peter W. Eklund, Ollivier Haemmerle

Conceptual Structures (Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings (Lecture Notes in Artificial Intelligence))

By Peter W. Eklund, Ollivier Haemmerle

£46.20

Object-Oriented Technology - ECOOP 2006 Workshop Reader (Final Reports of the ECOOP 2006 Workshops, Nantes, France, July 2006 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Mario Sudholt, Charles Consel

Object-Oriented Technology - ECOOP 2006 Workshop Reader (Final Reports of the ECOOP 2006 Workshops, Nantes, France, July 2006 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Mario Sudholt, Charles Consel

£46.29

Typed Lambda Calculi and Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Simona Ronchi Della Rocca

Typed Lambda Calculi and Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Simona Ronchi Della Rocca

£46.21

Term Rewriting and Applications (18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Franz Baader

Term Rewriting and Applications (18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Franz Baader

£46.22

Machines, Computations, and Universality (5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jerome Durand-Lose, Maurice Margenstern

Machines, Computations, and Universality (5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jerome Durand-Lose, Maurice Margenstern

£46.21

SDL 2007 - Design for Dependable Systems (13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Emmanuel Gaudin, Elie Najm, Rick Reed

SDL 2007 - Design for Dependable Systems (13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Emmanuel Gaudin, Elie Najm, Rick Reed

£46.19

Advances in Natural Language Processing (6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Aarne Ranta, Bengt Nordstrom

Advances in Natural Language Processing (6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Aarne Ranta, Bengt Nordstrom

£46.29

Formal Modeling and Analysis of Timed Systems (6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck Cassez, Claude Jard

Formal Modeling and Analysis of Timed Systems (6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck Cassez, Claude Jard

£47.55

Formal to Practical Security (Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology))

By Veronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada

Formal to Practical Security (Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology))

By Veronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada

£46.18

Applications and Theory of Petri Nets (30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Giuliana Franceschinis, Karsten Wolf

Applications and Theory of Petri Nets (30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Giuliana Franceschinis, Karsten Wolf

£46.23

Model Checking Software (16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Corina S. Pasareanu

Model Checking Software (16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Corina S. Pasareanu

£46.19

Database and XML Technologies (6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland

Database and XML Technologies (6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland

£46.18

View:
Safe Search(?):