Programming Languages and Systems (16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings (Lecture Notes in Com ..)

By Rocco De Nicola

Programming Languages and Systems (16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings (Lecture Notes in Com ..)

By Rocco De Nicola

£89.33

Foundations of Software Science and Computational Structures (10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedin ..)

By Helmut Seidl

Foundations of Software Science and Computational Structures (10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedin ..)

By Helmut Seidl

£45.56

Formal Methods for Performance Evaluation (7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures (Lecture Notes in Computer Science / P)

By Marco Bernardo, Jane Hillston

Formal Methods for Performance Evaluation (7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures (Lecture Notes in Computer Science / P)

By Marco Bernardo, Jane Hillston

£45.07

Formal Methods for Open Object-Based Distributed Systems (9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Marcello M. Bonsangue, Einar Broch Johnsen

Formal Methods for Open Object-Based Distributed Systems (9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Marcello M. Bonsangue, Einar Broch Johnsen

£45.04

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

£88.93

Typed Lambda Calculi and Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Simona Ronchi Della Rocca

Typed Lambda Calculi and Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Simona Ronchi Della Rocca

£45.03

Types for Proofs and Programs (International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thorsten Altenkirch, Connor McBride

Types for Proofs and Programs (International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thorsten Altenkirch, Connor McBride

£45.16

Principles and Practice of Constraint Programming -CP 2007 (13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Christian Bessiere

Principles and Practice of Constraint Programming -CP 2007 (13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Christian Bessiere

£89.21

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

£45.09

Recent Advances in Parallel Virtual Machine and Message Passing Interface (14th European PVM / MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Franck Capello, Thomas Herault, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (14th European PVM / MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Franck Capello, Thomas Herault, Jack Dongarra

£45.03

Formal Methods and Software Engineering (9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

Formal Methods and Software Engineering (9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

£51.90

FSTTCS 2007 - Foundations of Software Technology and Theoretical Computer Science (27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By V. Arvind, Sanjiva Prasad

FSTTCS 2007 - Foundations of Software Technology and Theoretical Computer Science (27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By V. Arvind, Sanjiva Prasad

£45.14

Software Composition (6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Markus Lumpe, Wim Vanderperren

Software Composition (6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Markus Lumpe, Wim Vanderperren

£45.01

Foundations of Software Science and Computational Structures (11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedi)

By Roberto Amadio

Foundations of Software Science and Computational Structures (11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedi)

By Roberto Amadio

£45.11

Fundamental Approaches to Software Engineering (11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (Theoretical Co)

By Jose Luiz Fiadeiro, Paola Inverardi

Fundamental Approaches to Software Engineering (11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (Theoretical Co)

By Jose Luiz Fiadeiro, Paola Inverardi

£45.05

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

£45.01

Functional and Logic Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))

By Jacques Garrigue, Manuel Hermenegildo

Functional and Logic Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))

By Jacques Garrigue, Manuel Hermenegildo

£45.04

Languages and Compilers for Parallel Computing (21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Nelson Amaral

Languages and Compilers for Parallel Computing (21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Nelson Amaral

£44.99

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

Programming Environments for Massively Parallel Distributed Systems (Working Conference of the IFIP WG 10.3, April 25-29, 1994 (Monte Verita))

By Karsten M. Decker, Rene M. Rehmann

Programming Environments for Massively Parallel Distributed Systems (Working Conference of the IFIP WG 10.3, April 25-29, 1994 (Monte Verita))

By Karsten M. Decker, Rene M. Rehmann

£45.05

A Pipelined Multi-core MIPS Machine (Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Silvia Melitta Muller, Wolfgang J. Paul, Wolfgang J. Paul

A Pipelined Multi-core MIPS Machine (Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Silvia Melitta Muller, Wolfgang J. Paul, Wolfgang J. Paul

£45.02

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

£47.42

Correct System Design (Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Roland Meyer, Andre Platzer, Heike Wehrheim

Correct System Design (Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Roland Meyer, Andre Platzer, Heike Wehrheim

£41.77

View:
Safe Search(?):