1- 20 of 833 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: P, NP, and NP-Completeness: The Basics of Computational Complexity, Author: Oded Goldreich
QUICK ADD
P, NP, and NP-Completeness:…
by Oded Goldreich
Paperback $51.99
Title: Algorithms on Strings, Author: Maxime Crochemore
QUICK ADD
Algorithms on Strings
by Maxime Crochemore, Christophe Hancart, Thierry Lecroq
Paperback $51.99
Title: A Practical Introduction to Denotational Semantics, Author: L. Allison
QUICK ADD
A Practical Introduction to…
by L. Allison
#23 in Series
Paperback $51.99
Title: Semantics and Logics of Computation, Author: Andrew M. Pitts
QUICK ADD
Semantics and Logics of…
by Andrew M. Pitts, P. Dybjer
#14 in Series
Paperback $51.99
Title: Prozessorentwurf mit VHDL: Modellierung und Synthese eines 12-Bit-Mikroprozessors / Edition 1, Author: Dieter Wecker
QUICK ADD
Prozessorentwurf mit VHDL:…
by Dieter Wecker
Explore Series
Paperback $52.99
Title: From Mathematics to Generic Programming / Edition 1, Author: Alexander Stepanov
QUICK ADD
From Mathematics to Generic…
by Alexander Stepanov, Daniel Rose
Paperback $53.19
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
QUICK ADD
Talking with Computers:…
by Thomas Dean
Paperback $53.99
Title: Object-Oriented Analysis and Design for Information Systems: Modeling with UML, OCL, and IFML, Author: Raul Sidnei Wazlawick
QUICK ADD
Object-Oriented Analysis and…
by Raul Sidnei Wazlawick
Paperback $54.95
Title: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / Edition 1, Author: John Gallagher
QUICK ADD
Logic Program Synthesis and…
by John Gallagher
#1207 in Series
Paperback $54.99
Title: Algorithmic Learning Theory: 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings / Edition 1, Author: Sanjay Jain
QUICK ADD
Algorithmic Learning Theory:…
by Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita
#3734 in Series
Paperback $54.99
Title: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers, Author: Ivan Dimov
QUICK ADD
Finite Difference…
by Ivan Dimov, István Faragó, Lubin Vulkov
#9045 in Series
Paperback $54.99
Title: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Javier Esparza
QUICK ADD
Foundations of Software…
by Javier Esparza, Andrzej S. Murawski
#10203 in Series
Paperback $54.99
Title: Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wroclaw, Poland, September 11-12, 2014, Revised Selected Papers, Author: Evripidis Bampis
QUICK ADD
Approximation and Online…
by Evripidis Bampis, Ola Svensson
#8952 in Series
Paperback $54.99
Title: Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, Author: Vladimir P. Gerdt
QUICK ADD
Computer Algebra in Scientific…
by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
#9890 in Series
Paperback $54.99
Title: Reflections on the Teaching of Programming: Methods and Implementations / Edition 1, Author: Jens Bennedsen
QUICK ADD
Reflections on the Teaching of…
by Jens Bennedsen, Michael E. Caspersen, Michael Kölling
#4821 in Series
Paperback $54.99
Title: Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Albert Cohen
QUICK ADD
Compiler Construction: 23rd…
by Albert Cohen
#8409 in Series
Paperback $54.99
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
QUICK ADD
Inductive Logic Programming:…
by Stephen Muggleton
#1314 in Series
Paperback $54.99
Title: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, Author: Daniel Kroening
QUICK ADD
Computer Aided Verification:…
by Daniel Kroening, Corina S. Pasareanu
#9206 in Series
Paperback $54.99
Title: Essentials of Constraint Programming / Edition 1, Author: Thom Frühwirth
QUICK ADD
Essentials of Constraint…
by Thom Frühwirth, Slim Abdennadher
Explore Series
Paperback $54.99
Title: Theory and Practice of Natural Computing: 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings, Author: Carlos Martín-Vide
QUICK ADD
Theory and Practice of Natural…
by Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez
#10687 in Series
Paperback $54.99

Pagination Links