Telecommunications and Beyond - The Broader Applicability of SDL and MSC (Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers (Lecture Notes in Computer Science))

By Edel Sherratt

Telecommunications and Beyond - The Broader Applicability of SDL and MSC (Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers (Lecture Notes in Computer Science))

By Edel Sherratt

£45.19

International Symposium on Theoretical Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Ershov, V.A. Nepomniaschy

International Symposium on Theoretical Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Ershov, V.A. Nepomniaschy

£32.18

Parallel Algorithms and Architectures (Proceedings of the International Workshop on Parallel Algorithms and Architectures (Lecture Notes in Mathematics))

By Andreas Albrecht, Hermann Jung, Kurt Mehlhorn

Parallel Algorithms and Architectures (Proceedings of the International Workshop on Parallel Algorithms and Architectures (Lecture Notes in Mathematics))

By Andreas Albrecht, Hermann Jung, Kurt Mehlhorn

£27.39

Recent Advances in Parallel Virtual Machine and Message Passing Interface (10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jack Dongarra, Domenico Laforenza, Salvatore Orlando

Recent Advances in Parallel Virtual Machine and Message Passing Interface (10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jack Dongarra, Domenico Laforenza, Salvatore Orlando

£88.94

The Semantic Web - ISWC 2003 (Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science))

By Dieter Fensel, Katia Sycara, John Mylopoulos

The Semantic Web - ISWC 2003 (Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings (Lecture Notes in Computer Science))

By Dieter Fensel, Katia Sycara, John Mylopoulos

£89.21

Fundamental Approaches to Software Engineering (7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings (Lecture Not ..)

By Michel Wermelinger, Tiziana Margaria-Steffen

Fundamental Approaches to Software Engineering (7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings (Lecture Not ..)

By Michel Wermelinger, Tiziana Margaria-Steffen

£45.03

Fsttcs 2004 - Foundations of Software Technology and Theoretical Computer Science (24th International Conference, Chennai, India, December 16-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kamal Lodaya, Meena Mahajan

Fsttcs 2004 - Foundations of Software Technology and Theoretical Computer Science (24th International Conference, Chennai, India, December 16-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kamal Lodaya, Meena Mahajan

£45.91

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

£45.66

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

£89.29

Algebra, Meaning, and Computation (Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

Algebra, Meaning, and Computation (Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

£89.46

Middleware 2003 (ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science))

By Markus Endler, Douglas Schmidt

Middleware 2003 (ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science))

By Markus Endler, Douglas Schmidt

£88.69

Integrated Circuit Design (Power and Timing Modeling, Optimization and Simulation : 10th International Workshop, PATMOS 2000, Geottingen, Germany, September 13-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Dimitrios Soudris, Peter Pirsch, Erich Barke

Integrated Circuit Design (Power and Timing Modeling, Optimization and Simulation : 10th International Workshop, PATMOS 2000, Geottingen, Germany, September 13-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Dimitrios Soudris, Peter Pirsch, Erich Barke

£45.71

Practical Aspects of Declarative Languages (Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : Proceedings: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Lecture Notes in Computer)

By I. V. Ramakrishnan

Practical Aspects of Declarative Languages (Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : Proceedings: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Lecture Notes in Computer)

By I. V. Ramakrishnan

£45.04

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

£44.92

Intelligent Agents VII. Agent Theories Architectures and Languages (7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Cristiano Castelfranchi, Yves Lesperance

Intelligent Agents VII. Agent Theories Architectures and Languages (7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Cristiano Castelfranchi, Yves Lesperance

£45.54

Computational Logic - Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski: Pt. 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antonis C. Kakas, Fariba Sadri

Computational Logic - Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski: Pt. 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antonis C. Kakas, Fariba Sadri

£108

Neural Nets (13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers (Lecture Notes in Computer Science))

By Maria Marinaro, Roberto Tagliaferri

Neural Nets (13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers (Lecture Notes in Computer Science))

By Maria Marinaro, Roberto Tagliaferri

£45.19

Verkehrsleittechnik [German] (Automatisierung Des Strassen- Und Schienenverkehrs)

By Eckehard Schnieder, Eckhard Schnieder, U Becker, I Braun

Verkehrsleittechnik [German] (Automatisierung Des Strassen- Und Schienenverkehrs)

By Eckehard Schnieder, Eckhard Schnieder, U Becker, I Braun

£106

Zeitverhalten Synchroner Schaltwerke [German]

By Hans-Otto Leilich, Uwe Knaak

Zeitverhalten Synchroner Schaltwerke [German]

By Hans-Otto Leilich, Uwe Knaak

£47.01

Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings (6th: International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 - Proceedings (Lecture Notes in Computer)

By Jieh Hsiang

Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings (6th: International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 - Proceedings (Lecture Notes in Computer)

By Jieh Hsiang

£45.08

1

Computational Logic (NATO Asi Series / NATO Asi Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

Computational Logic (NATO Asi Series / NATO Asi Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

£128

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

£45.63

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm (8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Andres Keevallik

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm (8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings (Lecture Notes in Computer Science))

By Reiner W. Hartenstein, Andres Keevallik

£45.12

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

£88.71

View:
Safe Search(?):