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

£46.72

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

£46.87

Collaboration between Human and Artificial Societies (Coordination and Agent-Based Distributed Computing (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Julian A. Padget

Collaboration between Human and Artificial Societies (Coordination and Agent-Based Distributed Computing (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Julian A. Padget

£46.19

Component-Based Software Engineering (10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

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

Component-Based Software Engineering (10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

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

£46.19

Construction and Evolution of Code Generators (A Model-Driven and Service-Oriented Approach (Programming and Software Engineering))

By Sven Jorges

Construction and Evolution of Code Generators (A Model-Driven and Service-Oriented Approach (Programming and Software Engineering))

By Sven Jorges

£46.23

Programming Constraint Services (High-Level Programming of Standard and New Constraint Services (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Schulte, Christian

Programming Constraint Services (High-Level Programming of Standard and New Constraint Services (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Schulte, Christian

£46.17

The OSI 95 Transport Service with Multimedia Support (Research Reports Esprit / Project 5341. Osi95)

By Andre Danthine

The OSI 95 Transport Service with Multimedia Support (Research Reports Esprit / Project 5341. Osi95)

By Andre Danthine

£91.05

Pointers in C (A Hands on Approach)

By Toppo, Naveen, Dewan, Hrishikesh

Pointers in C (A Hands on Approach)

By Toppo, Naveen, Dewan, Hrishikesh

£46.06 Elsewhere ~~£54.99~~ Save £8.93 (16%)

Service-Oriented Computing – ICSOC 2017 Workshops (ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama

Service-Oriented Computing – ICSOC 2017 Workshops (ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama

£46.22

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

£49.70

3

Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

£46.35

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)

By Tiziana Margaria, Bernhard Steffen

£46.30

Systems Programming in Unix/Linux

By Wang, K. C.

Systems Programming in Unix/Linux

By Wang, K. C.

£56.44

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

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

£91.70

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

£46.74

Applications of Declarative Programming and Knowledge Management (15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,)

By Dietmar Seipel, Michael Hanus, U. Geske, Oskar Bartenstein

Applications of Declarative Programming and Knowledge Management (15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6,)

By Dietmar Seipel, Michael Hanus, U. Geske, Oskar Bartenstein

£46.19

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

£46.52

Formal Methods for Open Object-Based Distributed Systems (7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Steffen, Gianluigi Zavattaro

Formal Methods for Open Object-Based Distributed Systems (7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Steffen, Gianluigi Zavattaro

£46.52

Distributed Applications and Interoperable Systems (5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Lea Kutvonen

Distributed Applications and Interoperable Systems (5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005 : Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Lea Kutvonen

£46.35

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

£46.70

Reliable Software Technology - Ada Europe 2005 (10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Tullio Vardanega, Andy Wellings

Reliable Software Technology - Ada Europe 2005 (10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Tullio Vardanega, Andy Wellings

£46.18

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

£46.23

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

£46.36

View:
Safe Search(?):