Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo

Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo

£45.21

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

£45.54

Computer Network Security (Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings (Lecture Notes in Computer Science) (Com ..)

By Vladimir Gorodetsky, Igor Kotenko, Victor Skormin

Computer Network Security (Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings (Lecture Notes in Computer Science) (Com ..)

By Vladimir Gorodetsky, Igor Kotenko, Victor Skormin

£45.09

Formal Techniques for Networked and Distributed Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Farn Wang

Formal Techniques for Networked and Distributed Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Farn Wang

£89.35

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

£44.99

Component-Based Software Development for Embedded Systems (An Overview of Current Research Trends (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper

Component-Based Software Development for Embedded Systems (An Overview of Current Research Trends (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper

£42.09 Elsewhere ~~£44.99~~ Save £2.90 (6%)

Unifying the Software Process Spectrum (International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Mingshu Li, Barry W. Boehm, Leon J. Osterweil

Unifying the Software Process Spectrum (International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Mingshu Li, Barry W. Boehm, Leon J. Osterweil

£45.09

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

£45.18

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

£45.21

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

£93.22

Applications and Theory of Petri Nets 2003 (24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June, 23-27, 2003 : Proceedings: 2003 (Lecture Notes in Computer Science))

By Wil van der Aalst, Eike Best

Applications and Theory of Petri Nets 2003 (24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June, 23-27, 2003 : Proceedings: 2003 (Lecture Notes in Computer Science))

By Wil van der Aalst, Eike Best

£45.08

Reliable Software Technologies -- Ada-Europe 2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Rosen, Alfred Strohmeier

Reliable Software Technologies -- Ada-Europe 2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Rosen, Alfred Strohmeier

£45.02

Developments in Applied Artificial Intelligence (16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings (Lecture Notes in Art ..)

By Ali Moonis, Paul Chung, Chris Hinde

Developments in Applied Artificial Intelligence (16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings (Lecture Notes in Art ..)

By Ali Moonis, Paul Chung, Chris Hinde

£89.35

Formal Methods in Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Warren A. Jr. Hunt, Steven D. Johnson

Formal Methods in Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Warren A. Jr. Hunt, Steven D. Johnson

£88.72

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

£118

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

£89.31

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

£45.02

Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 - Revised Papers (Lecture Notes in Computer Science))

By Murray R. Little, Laurence Nigay

Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 - Revised Papers (Lecture Notes in Computer Science))

By Murray R. Little, Laurence Nigay

£45.54

Formal and Natural Computing (Essays Dedicated to Grzegorz Rozenberg: v. 2300 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wilfried Brauer, Hartmut Ehrig, Juhani Karhumaki, Arto K. Salomaa

Formal and Natural Computing (Essays Dedicated to Grzegorz Rozenberg: v. 2300 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wilfried Brauer, Hartmut Ehrig, Juhani Karhumaki, Arto K. Salomaa

£45.64

Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)

By Ed. Brinksma, Kim G. Larsen

Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)

By Ed. Brinksma, Kim G. Larsen

£89.44

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

£45.09

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

£45.67

Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

£45.64

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

£45.02

View:
Safe Search(?):