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

£45.03

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

£89.16

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

£45.02

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

£88.94

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

£45.09

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

£45.07

Advances in Enterprise Engineering I (4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings (Lecture Notes in Business Information Processing))

By Jan L. G. Dietz, Antonia Albani, Joseph Barjis

Advances in Enterprise Engineering I (4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings (Lecture Notes in Business Information Processing))

By Jan L. G. Dietz, Antonia Albani, Joseph Barjis

£45

Software Architecture (Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Volker Gruhn, Flavio Oquendo

Software Architecture (Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Volker Gruhn, Flavio Oquendo

£45.18

Advanced Information Systems Engineering (20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zohra Bellahsene, Michel Leonard

Advanced Information Systems Engineering (20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zohra Bellahsene, Michel Leonard

£88.78

2

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

£45.03

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

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

£45.03

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

£45.11

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

£45.04

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

£45.05

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

£45.04

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

£45.02

Trustworthy Global Computing (Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gilles Barthe, Cedric Fournet

Trustworthy Global Computing (Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gilles Barthe, Cedric Fournet

£45.04

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

£45.12

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

Design, Specification and Verification of Interactive Systems '95 (Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 (Eurographics))

By Philippe Palanque, Remi Bastide

Design, Specification and Verification of Interactive Systems '95 (Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 (Eurographics))

By Philippe Palanque, Remi Bastide

£45.13

Foundations of Information and Knowledge Systems (8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (Lecture Notes in Computer Science))

By Christoph Beierle, Carlo Meghini

Foundations of Information and Knowledge Systems (8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (Lecture Notes in Computer Science))

By Christoph Beierle, Carlo Meghini

£47.50

Principles and Practice of Constraint Programming (20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings (Programming and Software Engineering))

By Barry O'Sullivan

Principles and Practice of Constraint Programming (20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings (Programming and Software Engineering))

By Barry O'Sullivan

£89.25

View:
Safe Search(?):