Distributed Applications and Interoperable Systems (6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Frank Eliassen, Alberto Montresor

Distributed Applications and Interoperable Systems (6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Frank Eliassen, Alberto Montresor

£46.23

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

£46.22

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

£46.33

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

£91.94

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

£46.76

Conceptual Modeling - ER '97 (16th International Conference on Conceptual Modeling, Los Angeles, Ca, USA, November 3-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David W. Embley, Robert C. Goldstein

Conceptual Modeling - ER '97 (16th International Conference on Conceptual Modeling, Los Angeles, Ca, USA, November 3-5, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David W. Embley, Robert C. Goldstein

£46.85

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

Static Analysis (7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jens Palsberg

Static Analysis (7th International Symposium, SAS 2000, Santa Barbara, Ca, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jens Palsberg

£46.22

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

£50.63

Exploiting Linked Data and Knowledge Graphs for Large Organisations (2017)

By Pan, Jeff Z., Vetere, Guido

Exploiting Linked Data and Knowledge Graphs for Large Organisations (2017)

By Pan, Jeff Z., Vetere, Guido

£141 Elsewhere ~~£149.99~~ Save £8.99 (6%)

Introduction to Digital Systems Design

By Donzellini, Giuliano, Anguita, Davide, Domenico Ponta, Davide Anguita

Introduction to Digital Systems Design

By Donzellini, Giuliano, Anguita, Davide, Domenico Ponta, Davide Anguita

£75.99 Elsewhere ~~£79.99~~ Save £4.00 (5%)

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

£46.23

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

£46.22

Foundations of Information and Knowledge Systems (6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sebastian Link, Henri Prade

Foundations of Information and Knowledge Systems (6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sebastian Link, Henri Prade

£46.25

Computer Science Logic (22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science))

By Michael A. Kaminski, Simone Martini

Computer Science Logic (22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science))

By Michael A. Kaminski, Simone Martini

Currently
Unavailable

Engineering Interactive Systems 2008 (Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings (Lecture Notes in Computer)

By Peter Forbrig, Fabio Paterno

Engineering Interactive Systems 2008 (Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings (Lecture Notes in Computer)

By Peter Forbrig, Fabio Paterno

Currently
Unavailable

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Developments in Language Theory (14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu

Currently
Unavailable

The Essential George Boole (Logic, Love and Legacy)

By Des MacHale, Yvonne Cohen

The Essential George Boole (Logic, Love and Legacy)

By Des MacHale, Yvonne Cohen

Currently
Unavailable

Specification and Verification of Declarative Open Interaction Models (A Logic-Based Approach (Lecture Notes in Business Information Processing))

By Montali, Marco

Specification and Verification of Declarative Open Interaction Models (A Logic-Based Approach (Lecture Notes in Business Information Processing))

By Montali, Marco

Currently
Unavailable

The Deductive Spreadsheet (Cognitive Technologies)

By Cervesato, Iliano

The Deductive Spreadsheet (Cognitive Technologies)

By Cervesato, Iliano

Currently
Unavailable

Foundational and Practical Aspects of Resource Analysis (First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Marko van Eekelen, Olha Shkaravska

Foundational and Practical Aspects of Resource Analysis (First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Marko van Eekelen, Olha Shkaravska

Currently
Unavailable

View:
Safe Search(?):