Sales & Promotions Gift Ideas Gift Vouchers Clearance Coming Soon

Books

Mario Day Sale

Shop by Offer

member benefitsSold by Mighty ApeFast dispatch

Top Categories

Show more categories

Price

Under $150$150 to $250$250 to $350$350 and above

$

to

Condition

NewRefurbished

Author

Action Semantics

Peter D. Mosses

Theories of Computability

Nicholas Pippenger

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien

Complexity: Knots, Colourings and Countings

The Practical Performance Analyst

A Compositional Approach to Performance Modelling

Logic and Computation

Lawrence C. Paulson

Theories of Programming Languages

John C. Reynolds

An Introduction to C++ and Numerical Methods

ORTEGA, Grimshaw

Categories and Computer Science

R. F. C. Walters

Fast Parallel Algorithms for Graph Matching Problems

Marek Karpinski, Wojciech Rytter

User-Centered Design Stories

Carol Righi, Janice James

VHDL-2008

Jim Lewis, Peter J. Ashenden

A Framework and Methodology for Managing Quality of Web Services

Mohamed Adel Serhani

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

The Computational Beauty of Nature

Gary William Flake

The Pi-Calculus

Davide Sangiorgi, David Walker

Analysis and Design of Information Systems

Arthur M. Langer

Pseudorandomness and Cryptographic Applications

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller

Solving Higher-Order Equations

Christian Prehofer

Specification and Design Methodology for Real-Time Embedded Systems

Randall S. Janka

Algebraic Combinatorics and Computer Science

The Verilog PLI Handbook: A User's Guide and Comprehensive Reference on the Verilog Programming Language Interface

Stuart Sutherland

Labelled Non-Classical Logics

Applications of Continuous Mathematics to Computer Science

Hung T. Nguyen, V. Kreinovich

Mathematics of Biology

Mathematics and Computer Science III

Protecting Information

Susan Loepp, William K. Wootters

Analog Behavioral Modeling with the Verilog-A Language

Dan FitzPatrick, Ira Miller

Spatial Statistics and Computational Methods

Data Structures for Computational Statistics

An Invitation to 3-D Vision

Yi Ma, Stefano Soatto, Jana Kosecka, S. Shankar Sastry

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

An Introduction to Fuzzy Logic and Fuzzy Sets

Esfandiar Eslami, James J. Buckley

Data Mining, Rough Sets and Granular Computing