Migrating from Pascal to C++ (Undergraduate Texts in Computer Science)

By Stix, Allen, Merritt, Susan N.

Migrating from Pascal to C++ (Undergraduate Texts in Computer Science)

By Stix, Allen, Merritt, Susan N.

£47.01

Languages, Compilers and Run-Time Systems for Scalable Computers

By Boleslaw K. Szymanski, Balaram Sinharoy

Languages, Compilers and Run-Time Systems for Scalable Computers

By Boleslaw K. Szymanski, Balaram Sinharoy

£131

Testing and Tuning Market Trading Systems (Algorithms in C++)

By Masters, Timothy

Testing and Tuning Market Trading Systems (Algorithms in C++)

By Masters, Timothy

£39.15 Elsewhere ~~£54.99~~ Save £15.84 (29%)

Interactive Object-Oriented Programming in Java (Learn and Test Your Programming Skills)

By Sarcar, Vaskaran

Interactive Object-Oriented Programming in Java (Learn and Test Your Programming Skills)

By Sarcar, Vaskaran

£46.09 Elsewhere ~~£54.99~~ Save £8.90 (16%)

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

£47.60

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano, Morzenti, Angelo, Angelo Morzenti

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano, Morzenti, Angelo, Angelo Morzenti

£97.60

Tests and Proofs (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Heike Wehrheim

Tests and Proofs (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Heike Wehrheim

£46.18

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

£46.73

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

£46.18

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By R. Ramanujam, Sandeep Sen

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By R. Ramanujam, Sandeep Sen

£91.72

Hardware and Software, Verification and Testing (First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shmuel Ur, Eyal Bin, Yaron Wolfsthal

Hardware and Software, Verification and Testing (First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shmuel Ur, Eyal Bin, Yaron Wolfsthal

£46.40

Model Checking Software (13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Antti Valmari

Model Checking Software (13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Antti Valmari

£46.51

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

£46.14

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

£91.09

Mathematical Foundations of Computer Science 2002 (27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings (Lecture Notes in Computer Science))

By Krzystof Diks, Wojciech Rytter

Mathematical Foundations of Computer Science 2002 (27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings (Lecture Notes in Computer Science))

By Krzystof Diks, Wojciech Rytter

£91.14

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

£46.25

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

£91.32

Constraint Processing (Selected Papers (Lecture Notes in Computer Science))

By Manfred Meyer

Constraint Processing (Selected Papers (Lecture Notes in Computer Science))

By Manfred Meyer

£46.18

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

£53.38

Hardware and Software, Verification and Testing (Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Eyal Bin, Avi Ziv, Shmuel Ur

Hardware and Software, Verification and Testing (Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Eyal Bin, Avi Ziv, Shmuel Ur

£46.35

Model Checking Software (15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Klaus Havelund, Rupak Majumdar, Jens Palsberg

Model Checking Software (15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Klaus Havelund, Rupak Majumdar, Jens Palsberg

£52.52

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

£46.26

Theoretical Aspects of Computing – ICTAC 2014 (11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriel Ciobanu, Dominique Méry

Theoretical Aspects of Computing – ICTAC 2014 (11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriel Ciobanu, Dominique Méry

£48.92

Computer Safety, Reliability, and Security (34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Floor Koornneef, Coen van Gulijk

Computer Safety, Reliability, and Security (34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Floor Koornneef, Coen van Gulijk

£48.98

View:
Safe Search(?):