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%)

Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

£59.88

A Concise Introduction to Software Engineering (With Open Source and GenAI (Undergraduate Topics in Computer Science))

By Pankaj Jalote

A Concise Introduction to Software Engineering (With Open Source and GenAI (Undergraduate Topics in Computer Science))

By Pankaj Jalote

£44.16

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

£91.77

Abstract State Machines 2003. Advances in Theory and Practice (10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: 2003 (Lecture Notes in Computer Science))

By Egon Borger, Angelo Gargantini, Elvinia Riccobene

Abstract State Machines 2003. Advances in Theory and Practice (10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: 2003 (Lecture Notes in Computer Science))

By Egon Borger, Angelo Gargantini, Elvinia Riccobene

£45.61

Telecommunications and Beyond - The Broader Applicability of SDL and MSC (Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers (Lecture Notes in Computer Science))

By Edel Sherratt

Telecommunications and Beyond - The Broader Applicability of SDL and MSC (Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers (Lecture Notes in Computer Science))

By Edel Sherratt

£46.38

Software Engineering and Middleware (Third International Workshop, SEM 2002. Orlando, Fl, USA, May 20-21, 2002, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alberto? Coen-Porisini, Andre Van der Hoeck

Software Engineering and Middleware (Third International Workshop, SEM 2002. Orlando, Fl, USA, May 20-21, 2002, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alberto? Coen-Porisini, Andre Van der Hoeck

£46.20

Automata, Languages and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Salomaa, M. Steinby

Automata, Languages and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Salomaa, M. Steinby

£33.13

Programming Languages and Their Definition (Selected Papers: v. 177 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By H. Bekic, C. B. Jones

Programming Languages and Their Definition (Selected Papers: v. 177 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By H. Bekic, C. B. Jones

£46.17

Ada Software Tools Interfaces (Workshop, Bath, July 13-15, 1983, Proceedings: v. 180 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter J. L. Wallis

Ada Software Tools Interfaces (Workshop, Bath, July 13-15, 1983, Proceedings: v. 180 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter J. L. Wallis

£46.15

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

£91.24

ANNA A Language for Annotating Ada Programs (Reference Manual (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Bernd Krieg-Brueckner, Olaf Owe

ANNA A Language for Annotating Ada Programs (Reference Manual (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Bernd Krieg-Brueckner, Olaf Owe

£44.96

Metasoft Primer (Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrzej Blikle, Don Barstow, W. Brauer

Metasoft Primer (Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrzej Blikle, Don Barstow, W. Brauer

£46.28

ESEC '87 (1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Howard K. Nichols, Dan Simpson

ESEC '87 (1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Howard K. Nichols, Dan Simpson

£46.20

Formal Methods for Software Architectures (Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures (Lecture N)

By Marco Bernardo, Paola Inverardi

Formal Methods for Software Architectures (Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures (Lecture N)

By Marco Bernardo, Paola Inverardi

£46.19

Generative Programming and Component Engineering (Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))

By Frank Pfenning, Yannis Smaragdakis

Generative Programming and Component Engineering (Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))

By Frank Pfenning, Yannis Smaragdakis

£46.21

Recent Advances in Parallel Virtual Machine and Message Passing Interface (10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jack Dongarra, Domenico Laforenza, Salvatore Orlando

Recent Advances in Parallel Virtual Machine and Message Passing Interface (10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jack Dongarra, Domenico Laforenza, Salvatore Orlando

£91.30

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

£46.20

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

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

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

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

£46.27

Formal Methods and Software Engineering (5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, James Woodcock

Formal Methods and Software Engineering (5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, James Woodcock

£91.16

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

£46.22

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

£46.32

Verification (Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science))

By Nachum Dershowitz

Verification (Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science))

By Nachum Dershowitz

£91.93

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

£46.20

View:
Safe Search(?):