Programming Languages and Systems (32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Computer S)

By Thomas Wies

Programming Languages and Systems (32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Computer S)

By Thomas Wies

£32.27 Elsewhere ~~£34.99~~ Save £2.72 (8%)

Programming Languages and Systems (33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (Lec ..)

By Stephanie Weirich

Programming Languages and Systems (33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (Lec ..)

By Stephanie Weirich

£31.57 Elsewhere ~~£34.99~~ Save £3.42 (10%)

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

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

£89.41

Advances in Cryptology -EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings (2003: v.2656 (Lecture Notes in Computer Science))

By Eli Biham

Advances in Cryptology -EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings (2003: v.2656 (Lecture Notes in Computer Science))

By Eli Biham

£88.88

Supercomputing (1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings (Lecture Notes in Computer Science))

By E.N. Houstis, Theodore Papatheodorou, Constantine D. Polychronopoulos

Supercomputing (1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings (Lecture Notes in Computer Science))

By E.N. Houstis, Theodore Papatheodorou, Constantine D. Polychronopoulos

£89.46

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

£44.99

Functional Programming, Glasgow 1991 (Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing))

By Rogardt Heldal, Carsten K. Holst, Philip Wadler, C. K. Holst

Functional Programming, Glasgow 1991 (Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing))

By Rogardt Heldal, Carsten K. Holst, Philip Wadler, C. K. Holst

£45.10

First International Workshop on Larch (Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing))

By Ursula Martin, Jeannette M. Wing

First International Workshop on Larch (Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing))

By Ursula Martin, Jeannette M. Wing

£45.06

Functional Programming, Glasgow 1992 (Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 (Workshops in Computing))

By John Launchbury, Patrick Sansom

Functional Programming, Glasgow 1992 (Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 (Workshops in Computing))

By John Launchbury, Patrick Sansom

£45.07

Software and Compilers for Embedded Systems (7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (Lecture Notes in Computer Science))

By Andreas Krall

Software and Compilers for Embedded Systems (7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (Lecture Notes in Computer Science))

By Andreas Krall

£45.01

Database Programming Languages (9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers (Lecture Notes in Computer Science))

By Georg Lausen, Dan Suciu

Database Programming Languages (9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers (Lecture Notes in Computer Science))

By Georg Lausen, Dan Suciu

£44.99

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

£45.04

Numerical Software with Result Verification (International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science))

By Rene Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther

Numerical Software with Result Verification (International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science))

By Rene Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther

£45.01

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

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

£45.01

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

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

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

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

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

£45.75

Formal Methods for the Design of Real-Time Systems (International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Lecture Notes in Compute ..)

By Marco Bernardo, Flavio Corradini

Formal Methods for the Design of Real-Time Systems (International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Lecture Notes in Compute ..)

By Marco Bernardo, Flavio Corradini

£45.19

Programming Languages and Systems (Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : Proceedings (Lecture Notes in Computer Science))

By Wei-Ngan Chin

Programming Languages and Systems (Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : Proceedings (Lecture Notes in Computer Science))

By Wei-Ngan Chin

£45.63

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

£45.70

Computer Science Logic (19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luke Ong

Computer Science Logic (19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luke Ong

£45.74

CONCUR 2005 - Concurrency Theory (16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Martin Abadi, Luca De Alfaro

CONCUR 2005 - Concurrency Theory (16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Martin Abadi, Luca De Alfaro

£45.76

View:
Safe Search(?):