1- 20 of 829 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Algorithms on Strings, Author: Maxime Crochemore
QUICK ADD
Algorithms on Strings
by Maxime Crochemore, Christophe Hancart, Thierry Lecroq
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: 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: 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: 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: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Static Analysis: 10th…
by Radhia Cousot
#2694 in Series
Paperback $54.99
Title: Universal Routing Strategies for Interconnection Networks / Edition 1, Author: Christian Scheideler
QUICK ADD
Universal Routing Strategies…
by Christian Scheideler
#1390 in Series
Paperback $54.99
Title: Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,, Author: Maurice H. ter Beek
QUICK ADD
Critical Systems: Formal…
by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
#9933 in Series
Paperback $54.99
Title: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings / Edition 1, Author: Kanchana Kanchanasut
QUICK ADD
Algorithms, Concurrency and…
by Kanchana Kanchanasut, Jean-Jacques Levy
#1023 in Series
Paperback $54.99
Title: Evolutionary Programming VI: 6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings / Edition 1, Author: Peter J. Angeline
QUICK ADD
Evolutionary Programming VI:…
by Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Russ Eberhart
#1213 in Series
Paperback $54.99
Title: High-Performance Scientific Computing: First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers, Author: Edoardo Di Napoli
QUICK ADD
High-Performance Scientific…
by Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser
#10164 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: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
QUICK ADD
Algebraic and Logic…
by Helene Kirchner, Giorgio Levi
#632 in Series
Paperback $54.99
Title: Spatial Audio Reproduction with Primary Ambient Extraction, Author: JianJun He
QUICK ADD
Spatial Audio Reproduction…
by JianJun He
Explore Series
Paperback $54.99
Title: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, Author: Swarat Chaudhuri
QUICK ADD
Computer Aided Verification:…
by Swarat Chaudhuri, Azadeh Farzan
#9780 in Series
Paperback $54.99
Title: Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings. / Edition 1, Author: John Staples
QUICK ADD
Algorithms and Computations:…
by John Staples, Peter Eades, Naoki Katoh, Alistair Moffat
#1004 in Series
Paperback $54.99
Title: Algorithmic Learning Theory: 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings / Edition 1, Author: Setsuo Arikawa
QUICK ADD
Algorithmic Learning Theory:…
by Setsuo Arikawa, Arun K. Sharma
#1160 in Series
Paperback $54.99

Pagination Links