All Books within Theory And Mathematics

A Course in Mathematical Logic
Book, January 1977, by Bell

Admissibility of Logical Inference Rules
Book, March 1997, by Rybakov

Advances in Computers
Book, July 2005, by Zelkowitz

Advances in Computers
Book, November 2006, by Tseng

Algorithms and Complexity
Book, September 1990, by AUTHOR

An Introduction to Parallel Programming
Book, January 2011, by Pacheco

A Wavelet Tour of Signal Processing
Book, September 1999, by Mallat

A Wavelet Tour of Signal Processing
Book, December 2008, by Mallat

CAFE: An IndustrialStrength Algebraic Formal Method
Book, September 2000, by Futatsugi

Classical Recursion Theory
Book, January 1989, by Odifreddi

Classical Recursion Theory, Volume II
Book, September 1999, by Odifreddi

Collision Detection in Interactive 3D Environments
Book, October 2003, by van den Bergen

Computability, Complexity, and Languages
Book, February 1994, by Davis

Computability, Complexity, Logic
Book, July 1989, by Börger

Computability Theory
Book, December 2010, by Enderton

Computational Complexity: A Quantitative Perspective
Book, July 2004, by Zimand

Computational Theory of Iterative Methods
Book, September 2007, by Argyros

Computer Simulation
Book, August 1991, by McHaney

Constructivism in Mathematics Vol.1
Book, July 1988, by Beklemishev

Continued Fractions with Applications
Book, April 1992, by Lorentzen

Decision Methods for Forest Resource Management
Book, February 2003, by Buongiorno

Discrete Cosine and Sine Transforms
Book, September 2006, by Britanak

Discrete Optimization
Book, March 2003, by Boros

Elsevier's Dictionary of Automation Technics
Book, April 2005, by Zhelyazova

Embedded Controller Forth For The 8051 Family
Book, September 1990, by Payne

Fourth Czechoslovakian Symposium on Combinatorics, Graphs and Complexity
Book, June 1992, by Nešetřil

Guide to Human Genome Computing
Book, March 1998, by Bishop

Handbook of Automated Reasoning
Book, June 2001, by Robinson

Handbook of Automated Reasoning
Book, June 2001, by Robinson

HANDBOOK OF COMBINATORICS VOLUME 1
Book, December 1995, by AUTHOR

HANDBOOK OF COMBINATORICS VOLUME 2
Book, December 1995, by AUTHOR

Handbook of Computability Theory
Book, October 1999, by Griffor

Handbook of Logic and Language
Book, December 1996, by van Benthem

Handbook of Modal Logic
Book, November 2006, by Blackburn

Handbook of Process Algebra
Book, March 2001, by Bergstra

Handbook of Quantum Logic and Quantum Structures
Book, August 2007, by Engesser

Handbooks in Operations Research and Management Science
Book, December 2005, by Aardal

Handbooks in Operations Research and Management Science, 3: Computing
Handbook, November 1992, by Coffman Jr.

Infinite Words
Book, February 2004, by Perrin

Intelligent Systems in Process Engineering, Part II: Paradigms from Process Operations
Book, October 1995, by Stephanopoulos

Intelligent Systems in Process Engineering, Part I: Paradigms from Product and Process Design
Book, October 1995, by Han

Introduction to Stochastic Dynamic Programming
Book, July 1995, by Ross

Language in Action
Book, February 1991, by van Benthem

Lectures on the CurryHoward Isomorphism
Book, July 2006, by Sørensen

Linear Algebra, Rational Approximation and Orthogonal Polynomials
Book, November 1997, by Bultheel

Massively Parallel Processing Applications and Development
Book, October 1994, by Dekker

Mathematical Logic
Book, December 2001, by Gandy

Mathematical Models of the Cell and Cell Associated Objects
Book, May 2006, by Ivanov

Mathematics Mechanization and Applications
Book, July 2000, by Wang

Matrix Logic and Mind
Book, February 1992, by Stern

Matrix Perturbation Theory
Book, June 1990, by Stewart

Mechanical Intelligence
Book, January 1992, by Ince

Mental Models and Human–Computer Interaction  2
Book, February 1991, by Tauber

Model Theory
Book, June 1990, by Chang

Morphogenesis
Book, November 1992, by Saunders

NatureInspired Optimization Algorithms
Book, March 2014, by Yang

Network Routing
Book, March 2007, by Medhi

Neuromimetic Semantics
Book, May 2004, by Howard

Nonlinear Methods in Numerical Analysis
Book, March 1987, by Cuyt

Numerical Approximation of Partial Differential Equations
Book, February 1987, by Ortiz

Object Oriented Languages
Book, January 1991, by AUTHOR

ON THE DEVELOPMENT OF CHINA'S INFORMATION TECHNOLOGY INDUSTRY
Book, November 2009, by Zemin

Parallel Computational Fluid Dynamics '98
Book, May 1999, by Lin

Parallel Computing: Fundamentals, Applications and New Directions
Book, July 1998, by D'Hollander

Philosophy of Physics
Book, October 2006, by Gabbay

Planar Graphs
Book, April 1988, by Nishizeki

Principles of Logic and Logic Programming
Book, June 1996, by Metakides

Protocol Specification, Testing and Verification, XII
Book, December 1992, by Linn

Pure Mathematics
Book, January 1992, by Britton

Quantum Theoretic Machines
Book, December 2000, by Stern

ReactionDiffusion Computers
Book, October 2005, by Adamatzky

Realizability
Book, March 2008, by van Oosten

Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Book, April 2007, by Galatos

Scientific Computing and Differential Equations
Book, September 1991, by Golub

Stochastic Local Search
Book, September 2004, by Hoos

Submodular Functions and Optimization
Book, July 2005, by Fujishige

Synchronous Precharge Logic
Book, August 2012, by Smoszna

Theories of Computational Complexity
Book, January 1988, by Calude

Theory and Applications of Numerical Analysis
Book, July 1996, by Phillips

Threshold Graphs and Related Topics
Book, September 1995, by Mahadev

Topics in the Theory of Computation
Book, January 1985, by Karpinski

Tree Automata and Languages
Book, July 1992, by Nivat