All Products 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
-
Advances in Engineering Software
Journal, 2013
-
Algorithms and Complexity
Book, September 1990, by AUTHOR
-
An Introduction to Parallel Programming
Book, January 2011, by Pacheco
-
Annals of Pure and Applied Logic
Journal, 2013
-
Applied Mathematical Modelling
Journal, 2013
-
Applied Mathematics and Computation
Journal, 2013
-
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 Geometry
Journal, 2013
-
Computational Statistics & Data Analysis
Journal, 2013
-
Computational Theory of Iterative Methods
Book, September 2007, by Argyros
-
Computer Languages, Systems and Structures
Journal, 2013
-
Computer Simulation
Book, August 1991, by McHaney
-
Computer-Aided Design
Journal, 2013
-
Computers & Mathematics with Applications
Journal, 2013
-
Computers & Structures
Journal, 2013
-
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 Applied Mathematics
Journal, 2013
-
Discrete Cosine and Sine Transforms
Book, September 2006, by Britanak
-
Discrete Mathematics
Journal, 2013
-
Discrete Optimization
Book, March 2003, by Boros
-
Electronic Notes in Theoretical Computer Science
Journal, 2013
-
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
-
Information and Computation
Journal, 2013
-
Information Processing Letters
Journal, 2013
-
Information Sciences
Journal, 2013
-
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
-
Journal of Computational and Applied Mathematics
Journal, 2013
-
Journal of Computational Science
Journal, 2013
-
Journal of Discrete Algorithms
Journal, 2013
-
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 and Computers in Simulation
Journal, 2013
-
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
-
Science of Computer Programming with Theoretical Computer Science (Combined Subscription)
Journal, 2013
-
Scientific Computing and Differential Equations
Book, September 1991, by Golub
-
Statistical Methodology
Journal, 2013
-
Stochastic Local Search
Book, September 2004, by Hoos
-
Studies in Computer Science and Artificial Intelligence
Book Series, by Banerji
-
Studies in Logic and the Foundations of Mathematics
Book Series, by Suppes
-
Submodular Functions and Optimization
Book, July 2005, by Fujishige
-
Swarm and Evolutionary Computation
Journal, 2013
-
Synchronous Precharge Logic
Book, August 2012, by Smoszna
-
Telematics and Informatics
Journal, 2013
-
The Journal of Logic and Algebraic Programming
Journal, 2013
-
Theoretical Computer Science
Journal, 2013
-
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 Discrete Mathematics
Book Series, by Hammer
-
Topics in the Theory of Computation
Book, January 1985, by Karpinski
-
Tree Automata and Languages
Book, July 1992, by Nivat