Model Checking Software (11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science))

By Susanne Graf, Laurent Mounier

Model Checking Software (11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science))

By Susanne Graf, Laurent Mounier

£45.02

Integrated Formal Methods (4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : Proceedings (Lecture Notes in Computer Science))

By Eerke A. Boiten, John Derrick, Graeme Smith

Integrated Formal Methods (4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : Proceedings (Lecture Notes in Computer Science))

By Eerke A. Boiten, John Derrick, Graeme Smith

£45.10

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

£45.17

Component-Based Software Engineering (7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings (Lecture Notes in Computer Science))

By Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau

Component-Based Software Engineering (7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings (Lecture Notes in Computer Science))

By Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau

£45.03

Reliable Software Technologies - Ada-Europe 2004 (9th Ada-Europe International Conference on Reliable Software Technologies, Palma De Mallorca, Spain, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intellige)

By Albert Llamosi, Alfred Strohmeier

Reliable Software Technologies - Ada-Europe 2004 (9th Ada-Europe International Conference on Reliable Software Technologies, Palma De Mallorca, Spain, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intellige)

By Albert Llamosi, Alfred Strohmeier

£44.96

Extreme Programming and Agile Processes in Software Engineering (5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : Proceedings (Lecture Notes in Computer Science))

By Hubert Baumeister, Jutta Eckstein

Extreme Programming and Agile Processes in Software Engineering (5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : Proceedings (Lecture Notes in Computer Science))

By Hubert Baumeister, Jutta Eckstein

£45.05

Mathematics of Program Construction (7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science))

By Dexter Kozen, Carron Shankland

Mathematics of Program Construction (7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science))

By Dexter Kozen, Carron Shankland

£45.03

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

£45.05

Extreme Programming and Agile Methods - XP/Agile Universe 2004 (4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings (Lecture Notes in Computer Science))

By Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom

Extreme Programming and Agile Methods - XP/Agile Universe 2004 (4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings (Lecture Notes in Computer Science))

By Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom

£46.22

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

£46.23

Grammatical Inference (Algorithms and Applications: 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Georgios Paliouras, Yasubumi Sakakibara

Grammatical Inference (Algorithms and Applications: 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Georgios Paliouras, Yasubumi Sakakibara

£45.18

Formal Methods and Software Engineering (6th International Conference on Formal Engineering Methods, Icfem 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jim Davies, Wolfram Schulte, Mike Barnett

Formal Methods and Software Engineering (6th International Conference on Formal Engineering Methods, Icfem 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jim Davies, Wolfram Schulte, Mike Barnett

£83.38 Elsewhere ~~£89.99~~ Save £6.61 (7%)

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

£46.22

Multiparadigm Programming in Mozart/Oz (Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Van Roy

Multiparadigm Programming in Mozart/Oz (Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Van Roy

£45.52

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

£45.02

Theoretical Aspects of Computing - ICTAC 2004 (First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Zhiming Liu, Keijiro Araki

Theoretical Aspects of Computing - ICTAC 2004 (First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Zhiming Liu, Keijiro Araki

£89.36

Fundamental Approaches to Software Engineering (8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : Proceedings (Lecture Notes in Computer)

By Maura Cerioli

Fundamental Approaches to Software Engineering (8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : Proceedings (Lecture Notes in Computer)

By Maura Cerioli

£45.56

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

£45.54

Extreme Programming and Agile Processes in Software Engineering (6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert Baumeister, Michele Marchesi, Mike Holcombe

Extreme Programming and Agile Processes in Software Engineering (6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert Baumeister, Michele Marchesi, Mike Holcombe

£45.52

FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

£46.93

ECOOP 2005 (Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Andrew Black

ECOOP 2005 (Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Andrew Black

£89.43

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

£46.25

Model Checking Software (12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Theoretical Computer Science and General Issues))

By Patrick Godefroid

Model Checking Software (12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Theoretical Computer Science and General Issues))

By Patrick Godefroid

£45.19

View:
Safe Search(?):