Mighty Ape
  1. Books

Mario Day Sale

Shop by Offer

Paperback
Computability, Enumerability, Unsolvability

 

 

In stock
Hardback
Higher Order Operational Techniques in Semantics

 

 

In stock
Hardback
Model Theory
Maria Manzano

 

 

In stock
Hardback
Probabilistic Reasoning in Multiagent Systems
Yang Xiang

 

 

In stock
Paperback
A First Course in Coding Theory
Raymond Hill

 

 

In stock
Hardback
Automatic Sequences
Jean-Paul Allouche, Jeffrey Shallit

 

 

In stock
Paperback
Categories and Computer Science
R. F. C. Walters

 

 

In stock
Hardback
Concurrency Verification
Willem-Paul de Roever, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Frank De Boer

 

 

In stock
Paperback
Complexity and Information
J. F. Traub, A. G. Werschulz

 

 

In stock
Hardback
Discrete Probability and Algorithms

 

 

In stock
Paperback
Elliptic Curves in Cryptography
I. Blake, G. Seroussi, N. Smart

 

 

In stock
Hardback
Bounded Arithmetic, Propositional Logic and Complexity Theory
Jan Krajicek

 

 

In stock
Paperback
Probabilistic Logic in a Coherent Setting
Giulianella Coletti, R. Scozzafava

 

 

In stock
Paperback
Topology via Logic
Steven Vickers

 

 

In stock
Hardback
Descriptive Complexity
Neil Immerman

 

 

In stock
Hardback
Computation and Automata
Arto Salomaa

 

 

In stock
Hardback
Systems
Brian Wilson

 

 

In stock
Hardback
Filtering and System Identification
Michel Verhaegen, Vincent Verdult

 

 

In stock
Paperback
Soft Systems Methodology in Action
Peter Checkland, Jim Scholes

Elsewhere $105.95

 

In stock
Hardback
Algorithmic Information Theory
Peter Seibt

 

 

In stock
Hardback
A Short Introduction to Quantum Information and Quantum Computation
Michel Le Bellac

 

 

In stock
Paperback
Basic Simple Type Theory
J. Roger Hindley

 

 

In stock
Hardback
The Modern Algebra of Information Retrieval
Sandor Dominich

 

 

In stock
Hardback
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
George Tourlakis

 

 

In stock
Paperback
The Logic of Typed Feature Structures
Robert L. Carpenter

 

 

In stock
Hardback
Lambda-Calculus and Combinators
J. Roger Hindley, Jonathan P. Seldin

 

 

In stock
Paperback
Information Flow
Jon Barwise, Jerry Seligman

 

 

In stock
Paperback
Comparative Genomics

 

 

In stock
Paperback
The Challenge of Anticipation

 

 

In stock
Paperback
Multiobjective Optimization

 

 

In stock
Paperback
Computer Science Logic

 

 

In stock
Hardback
Computational Algorithms for Fingerprint Recognition
Bir Bhanu, Xuejun Tan

Elsewhere $338.95

 

In stock
Paperback
Algebraic and Logic Programming

 

 

In stock
Paperback
Data Refinement
Willem-Paul de Roever, Kai Engelhardt

 

 

In stock
Hardback
Polygons, Polyominoes and Polycubes

 

 

In stock
Paperback
Transactions on Rough Sets II

 

 

In stock