Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

£46.86

Logic Program Synthesis and Transformation (7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12 1997 : Proceedings (Lecture Notes in Computer Science))

By Norbert E. Fuchs

Logic Program Synthesis and Transformation (7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12 1997 : Proceedings (Lecture Notes in Computer Science))

By Norbert E. Fuchs

£46.23

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

£81.23

ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

£91.16

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£46.20

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics (International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer ..)

By Thomas Stutzle, Mauro Birattari, Holger H. Hoos

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics (International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer ..)

By Thomas Stutzle, Mauro Birattari, Holger H. Hoos

£46.24

Euro-Par 2009, Parallel Processing - Workshops (HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 Workshops (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knupfer

Euro-Par 2009, Parallel Processing - Workshops (HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 Workshops (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knupfer

£46.24

Modelling Foundations and Applications (12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings (Lecture Notes in Computer Science))

By Andrzej Wąsowski, Henrik Lonn

Modelling Foundations and Applications (12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings (Lecture Notes in Computer Science))

By Andrzej Wąsowski, Henrik Lonn

£47.86

Evaluation of Novel Approaches to Software Engineering (12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers (Communications in Computer and Information Science))

By Ernesto Damiani, George Spanoudakis, Leszek Maciaszek

Evaluation of Novel Approaches to Software Engineering (12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers (Communications in Computer and Information Science))

By Ernesto Damiani, George Spanoudakis, Leszek Maciaszek

£47.87

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

£49.23

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 (Logic Programmingvolume 5: Logic Programming)

By Dov M. Gabbay, C.J. Hogger, J. A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 (Logic Programmingvolume 5: Logic Programming)

By Dov M. Gabbay, C.J. Hogger, J. A. Robinson

£225 Elsewhere ~~£430.00~~ Save £205.00 (48%)

GPU Computing Gems Jade Edition (Applications of GPU Computing Series)

By Wen-Mei W. Hwu

GPU Computing Gems Jade Edition (Applications of GPU Computing Series)

By Wen-Mei W. Hwu

£47.27 Elsewhere ~~£58.99~~ Save £11.72 (20%)

1

Modern JavaScript for the Impatient

By Horstmann, Cay

Modern JavaScript for the Impatient

By Horstmann, Cay

£30.87 Elsewhere ~~£33.99~~ Save £3.12 (9%)

C++20 for Programmers (An Objects-Natural Approach (Deitel Developer Series))

By Deitel, Paul, Deitel, Harvey

C++20 for Programmers (An Objects-Natural Approach (Deitel Developer Series))

By Deitel, Paul, Deitel, Harvey

£39.65 Elsewhere ~~£44.99~~ Save £5.34 (12%)

Exercises in Programming Style

By Lopes, Cristina Videira

Exercises in Programming Style

By Lopes, Cristina Videira

£34.85

Exercises in Programming Style

By Lopes, Cristina Videira

Exercises in Programming Style

By Lopes, Cristina Videira

£86.50 Elsewhere ~~£97.99~~ Save £11.49 (12%)

The Ruby Programming Language (Everything You Need to Know)

By Davd Flanagan, Yukihiro Mataumoto

The Ruby Programming Language (Everything You Need to Know)

By Davd Flanagan, Yukihiro Mataumoto

£28.79 Elsewhere ~~£39.99~~ Save £11.20 (28%)

1,043

Effective C++ (55 Specific Ways to Improve Your Programs and Designs (Addison-Wesley Professional Computing Series))

By Meyers, Scott

Effective C++ (55 Specific Ways to Improve Your Programs and Designs (Addison-Wesley Professional Computing Series))

By Meyers, Scott

£33.91 Elsewhere ~~£40.49~~ Save £6.58 (16%)

3,333

Stroustrup (The C++ Programm Lang_p4)

By Bjarne Stroustrup

Stroustrup (The C++ Programm Lang_p4)

By Bjarne Stroustrup

£68.75

4,003

The C++ Programming Language (hardcover),

By Stroustrup, Bjarne

The C++ Programming Language (hardcover),

By Stroustrup, Bjarne

£43.32 Elsewhere ~~£65.99~~ Save £22.67 (34%)

4,003

Real-Time Simulation Technologies (Principles, Methodologies, and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems))

By Katalin Popovici, Pieter Mosterman

Real-Time Simulation Technologies (Principles, Methodologies, and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems))

By Katalin Popovici, Pieter Mosterman

£74.70

View:
Safe Search(?):