Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

£44.95

Beginning Ballerina Programming (From Novice to Professional)

By Warusawithana, Lakmal, Fernando, Anjana

Beginning Ballerina Programming (From Novice to Professional)

By Warusawithana, Lakmal, Fernando, Anjana

£32.32 Elsewhere ~~£44.99~~ Save £12.67 (28%)

An Introduction to Languages and Machines

By Martin C. Carlisle

An Introduction to Languages and Machines

By Martin C. Carlisle

£10.43

The Essential Guide to Managed Extensions for C++ (NET Programming with C++)

By Challa, Siva, Laksberg, Artur

The Essential Guide to Managed Extensions for C++ (NET Programming with C++)

By Challa, Siva, Laksberg, Artur

£30.40 Elsewhere ~~£35.49~~ Save £5.09 (14%)

2

An Introduction to PHP for Scientists and Engineers (Beyond JavaScript)

By Brooks, David R.

An Introduction to PHP for Scientists and Engineers (Beyond JavaScript)

By Brooks, David R.

£40.01

Pervasive Computing (The Mobile World (Springer Professional Computing))

By Hansmann, Uwe, Merk, Lothar, P. Kahn

Pervasive Computing (The Mobile World (Springer Professional Computing))

By Hansmann, Uwe, Merk, Lothar, P. Kahn

£89.14

Embedded Systems Design (The ARTIST Roadmap for Research and Development (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bruno Bouyssounouse, Joseph Sifakis

Embedded Systems Design (The ARTIST Roadmap for Research and Development (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bruno Bouyssounouse, Joseph Sifakis

£88.69

Software Engineering and Middleware (4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Thomas Gschwind, Cecilia Mascolo

Software Engineering and Middleware (4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Thomas Gschwind, Cecilia Mascolo

£45.02

Recent Advances in Parallel Virtual Machine and Message Passing Interface (12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Beniamino Di Martino, Dieter Kranzlmuller, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Beniamino Di Martino, Dieter Kranzlmuller, Jack Dongarra

£45.11

Middleware 2005 (ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Gustavo Alonso

Middleware 2005 (ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Gustavo Alonso

£45.04

Abstract State Machines, B and Z (First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Egon Borger, Michael Butler, Jonathan P. Bowen, Paul P. Boca

Abstract State Machines, B and Z (First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Egon Borger, Michael Butler, Jonathan P. Bowen, Paul P. Boca

£45.02

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£45.03

Requirements Engineering (Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Glinz, Patrick Heymans

Requirements Engineering (Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Glinz, Patrick Heymans

£44.99

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

£45.02

Fundamental Approaches to Software Engineering (13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings (Lecture Notes in Co ..)

By David S. Rosenblum, Gabriele Taentzer

Fundamental Approaches to Software Engineering (13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings (Lecture Notes in Co ..)

By David S. Rosenblum, Gabriele Taentzer

£51.51

SDL 2011: Integrating System and Software Modeling (15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers (Lecture Notes in Computer Science))

By Iulian Ober, Ileana Ober

SDL 2011: Integrating System and Software Modeling (15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers (Lecture Notes in Computer Science))

By Iulian Ober, Ileana Ober

£45.05

Formal Techniques for Distributed Systems (Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings (Programming and Software Engineering))

By Holger Giese, Grigore Rosu

Formal Techniques for Distributed Systems (Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings (Programming and Software Engineering))

By Holger Giese, Grigore Rosu

£44.99

Leveraging Applications of Formal Methods, Verification and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)

By Tiziana Margaria, Bernhard Steffen

£42.29 Elsewhere ~~£44.99~~ Save £2.70 (6%)

Network and Parallel Computing (9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni

Network and Parallel Computing (9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni

£88.89

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

£45.05

Pattern Calculus (Computing with Functions and Structures)

By Jay, Barry

Pattern Calculus (Computing with Functions and Structures)

By Jay, Barry

£137 Elsewhere ~~£149.99~~ Save £12.99 (9%)

Component-Based Software Engineering (13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 : Proceedings (Lecture Notes in Computer Science))

By Lars Grunske, Ralf Reussner, Frantisek Plasil

Component-Based Software Engineering (13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 : Proceedings (Lecture Notes in Computer Science))

By Lars Grunske, Ralf Reussner, Frantisek Plasil

Currently
Unavailable

Present and Ulterior Software Engineering

By Manuel Mazzara, Bertrand Meyer

Present and Ulterior Software Engineering

By Manuel Mazzara, Bertrand Meyer

Currently
Unavailable

Computer Systems (Theory, Technology and Applications (Monographs in Computer Science))

By Andrew James Herbert, Karen I. B. Spaerck-Jones

Computer Systems (Theory, Technology and Applications (Monographs in Computer Science))

By Andrew James Herbert, Karen I. B. Spaerck-Jones

Currently
Unavailable

View:
Safe Search(?):