Spin Model Checking and Software Verification (7th International Spin Workshop Stanford, Ca, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus Havelund, John Penix, Willem Visser

Spin Model Checking and Software Verification (7th International Spin Workshop Stanford, Ca, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Klaus Havelund, John Penix, Willem Visser

£46.22

Principles and Practice of Constraint Programming CP 2000 (6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rina Dechter

Principles and Practice of Constraint Programming CP 2000 (6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rina Dechter

£91.08

UML 2000 - the Unified Modeling Language. Advancing the Standard (Third International Conference York, UK, October 2-6, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andy Evans, Stuart Kent, Bran Selic

UML 2000 - the Unified Modeling Language. Advancing the Standard (Third International Conference York, UK, October 2-6, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andy Evans, Stuart Kent, Bran Selic

£91.72

Analysis and Visualization Tools for Constraint Programming (Constraint Debugging (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Manuel Hermenegildo, J. Maluszynski

Analysis and Visualization Tools for Constraint Programming (Constraint Debugging (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Manuel Hermenegildo, J. Maluszynski

£46.18

Integrated Formal Methods (Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

Integrated Formal Methods (Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

£46.22

Engineering Distributed Objects (Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Emmerich, Stefan Tai

Engineering Distributed Objects (Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Emmerich, Stefan Tai

£45.04

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

£46.85

Reliable Software Technologies - Ada-Europe 2001 (6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dirk Craeynest, Alfred Strohmeier

Reliable Software Technologies - Ada-Europe 2001 (6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dirk Craeynest, Alfred Strohmeier

£46.19

ECOOP 2001 - Object-Oriented Programming (15th European Conference, Budapest, Hungary, June 18-22, 2001 : Proceedings (Lecture Notes in Computer Science))

By Lindskov Knudsen, Jorgen

ECOOP 2001 - Object-Oriented Programming (15th European Conference, Budapest, Hungary, June 18-22, 2001 : Proceedings (Lecture Notes in Computer Science))

By Lindskov Knudsen, Jorgen

£46.80

Sdl 2001 Meeting UML: 10th International Sdl Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings (2001: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial)

By Rick Reed, Jeanne Reed

Sdl 2001 Meeting UML: 10th International Sdl Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings (2001: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial)

By Rick Reed, Jeanne Reed

£47.01

Modeling and Using Context (Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Varol Akman, Paolo Bouquet, Richmond Thomason, Roger A. Young

Modeling and Using Context (Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Varol Akman, Paolo Bouquet, Richmond Thomason, Roger A. Young

£45.06

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

£46.95

Metalevel Architectures and Separation of Crosscutting Concerns (Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Akinori Yonezawa, Satoshi Matsuoka

Metalevel Architectures and Separation of Crosscutting Concerns (Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Akinori Yonezawa, Satoshi Matsuoka

£46.18

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools (4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings (Lecture Notes in Computer Science))

By Martin Gogolla, Cris Kobryn

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools (4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings (Lecture Notes in Computer Science))

By Martin Gogolla, Cris Kobryn

£46.89

Computational Intelligence. Theory and Applications (International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings (Lecture Notes in Computer Science))

By Bernd Reusch

Computational Intelligence. Theory and Applications (International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings (Lecture Notes in Computer Science))

By Bernd Reusch

£105

Automata Implementation (4th International Workshop on Implementing Automata, WIA '99 Potsdam, Germany, July 17-19, 2001 Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Oliver Boldt, Helmut Jürgensen

Automata Implementation (4th International Workshop on Implementing Automata, WIA '99 Potsdam, Germany, July 17-19, 2001 Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Oliver Boldt, Helmut Jürgensen

£46.17

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

£47.12

ZB 2002, Formal Specification and Development in Z and B (2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

ZB 2002, Formal Specification and Development in Z and B (2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

£46.28

Model Checking Software (9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science))

By Dragan Bosnacki, Stefan Leue

Model Checking Software (9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science))

By Dragan Bosnacki, Stefan Leue

£50.88

Ecoop 2002 - Object-Oriented Programming (16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Boris Magnusson

Ecoop 2002 - Object-Oriented Programming (16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Boris Magnusson

£91.98

Reliable Software Technologies - Ada-Europe 2002 (7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Johann Blieberger, Alfred Strohmeier

Reliable Software Technologies - Ada-Europe 2002 (7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Johann Blieberger, Alfred Strohmeier

£46.26

Process Algebra and Probabilistic Methods - Performance Modeling and Verification (Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial)

By Holger Hermanns, Roberto Segala

Process Algebra and Probabilistic Methods - Performance Modeling and Verification (Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial)

By Holger Hermanns, Roberto Segala

£46.38

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

£91.97

Extreme Programming and Agile Methods (XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : Proceedings: v. 2418 (Lecture Notes in Computer Science))

By Don Wells, Lauris Williams

Extreme Programming and Agile Methods (XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : Proceedings: v. 2418 (Lecture Notes in Computer Science))

By Don Wells, Lauris Williams

£46.38

View:
Safe Search(?):