Sales & Promotions Gift Ideas Gift Vouchers Customer Service Coming Soon

Books

Mario Day Sale

Shop by Offer

Sold by Mighty ApeFast dispatch

Top Categories

Show more categories

Price

Under $100$100 to $250$250 to $300$300 and above

$

to

Condition

NewRefurbished

Author

Temporal Logic

COLOG-88

Typed Lambda Calculi and Applications

Planning and Learning by Analogical Reasoning

Manuela M. Veloso

Automated Deduction in Equational Logic and Cubic Curves

William McCune, R. Padmanabhan

Thirty Five Years of Automating Mathematics

Elsewhere $356.95

Mathematics of Quantum Computation

Bridging the Communication Gap

Graphs

K. Thulasiraman, M. N. S. Swamy

An Introduction to Computational Combinatorics

E. S. Page, L. B. Wilson

The Art of Computer Systems Performance Analysis

Pattern Classification

Jurgen Schurmann

Thinking Recursively

Eric S. Roberts

FPGA Prototyping by VHDL Examples

Lambda-calculus, Combinators and Functional Programming

Probability and Statistics for Computer Science

James L. Johnson

Average Case Analysis of Algorithms on Sequences

Wojciech Szpankowski

Metaheuristics

El-Ghazali Talbi

Principles and Theory for Data Mining and Machine Learning

Bertrand Clarke, Ernest Fokoue, Hao Helen Zhang

Systems Analysis and Design: Techniques, Methodologies, Approaches, and Architecture

Roger Chiang, Keng Siau, Bill C. Hardgrave

Project Management for Modern Information Systems

Object-Oriented Systems Analysis and Design Using UML

Ray Farmer, Steve McRobb, Simon Bennett

Variational and Hamiltonian Control Systems

P.E. Crouch, A.J. van der Schaft

Mathematical Techniques in Multisensor Data Fusion

Sonya A.H. McMullen, David L. Hall

Handbook of Mobile Ad Hoc Networks for Mobility Models

Radhika Ranjan Roy

IT Architecture For Dummies

Kalani Kirk Hausman, Susan L. Cook

Elsewhere $60.95

Embedded Microprocessor Systems

Some Assembly Required

Timothy S Margush

Theory and Applications of Models of Computation

Probabilistic Reasoning in Multiagent Systems

Approximation and Computation

Concurrency Verification

Willem-Paul de Roever, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Frank De Boer

Information Systems Development

Geometry

Algorithmic Principles of Mathematical Programming

Ulrich Faigle, W. Kern, G. Still

Image-Based Fractal Description of Microstructures

J.M. Li, Li Lu, Man On Lai, B. Ralph