All Books within Theory And Mathematics
-
A Course in Mathematical Logic
Book, January 1977, by Bell
-
A Wavelet Tour of Signal Processing
Book, December 2008, by Mallat
-
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
-
Automata Reasoning ***Replacement*** Disk
Book, July 1996, by Replacement
-
CAFE: An Industrial-Strength 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 Theory
Book, December 2010, by Enderton
-
Computability, Complexity, and Languages
Book, February 1994, by Davis
-
Computability, Complexity, Logic
Book, July 1989, by Börger
-
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 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 I: Paradigms from Product and Process Design
Book, October 1995, by Han
-
Intelligent Systems in Process Engineering, Part II: Paradigms from Process Operations
Book, October 1995, by Stephanopoulos
-
Introduction to Stochastic Dynamic Programming
Book, July 1995, by Ross
-
Language in Action
Book, February 1991, by van Benthem
-
Lectures on the Curry-Howard Isomorphism
Book, July 2006, by Sørensen
-
Linear Algebra, Rational Approximation and Orthogonal Polynomials
Book, November 1997, by Bultheel
-
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
-
Model Theory
Book, June 1990, by Chang
-
Morphogenesis
Book, November 1992, by Saunders
-
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
-
Planar Graphs
Book, April 1988, by Nishizeki
-
Principles of Logic and Logic Programming
Book, June 1996, by Metakides
-
Pure Mathematics
Book, January 1992, by Britton
-
Quantum Theoretic Machines
Book, December 2000, by Stern
-
Reaction-Diffusion 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