Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation)
 |
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(c) 2007 mathinfale.co.uk
Mathematical Design: Building Reliable Complex Computer Systems: Design of Complex Computer Systems (IEEE Press Series on Engineering of Complex Computer Systems)
Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Logic of Sets (IEEE Press Understanding Science & Technology)
The Essential John Nash
Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
Forecasting, Structural Time Series Models and the Kalman Filter
Choosing and Using Statistics: A Biologist's Guide
Biometrika: One Hundred Years
Parallel Algorithms for Matrix Computations
Competition, Collusion, and Game Theory
Quantifiers, Deduction, and Context (CSLI Lecture Notes)
Advancing Maths for AQA: Statistics 1
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Conjoint Measurement: Methods and Applications
Optimal Shape Design: Lectures Given at the Joint C.I.M./C.I.M.E. Summer School Held in Troia (Portugal), June 1-6, 1998 (Lecture Notes in Mathematics)
Numerical Recipes in C Example Book: The Art of Scientific Computing: C Example Book (The Art of Scientific Computing)
Mathematical Physics and Stochastic Analysis: Essays in Honour of Ludwig Streit
Computer Applications in Civil and Building Engineering: Proceedings of the Fourth International Conference on Computing in Civil and Building Engineering, July 29-31 1991, Tokyo, Japan
Environmental Assessment in Developing and Transitional Countries
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism (Collected Works of Bernard Lonergan)
Business and Financial Statistics Using Minitab 12 and Microsoft Excel 97
Training Statistics
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD Theoriam Serierum Infinitarum Pertinentes - 1st Part: Opera Mathematica Vol 14
Structural Proof Theory
Analysis of Algorithms
Modelling Extremal Events for Insurance and Finance (Stochastic Modelling and Applied Probability)
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies)
Mathematical Logic (Oxford Texts in Logic)
Quantitative Methods for Valuation of Financial Assets
Computational Models of Speech Pattern Processing: v. 169 (NATO ASI)
Visual Motion of Curves and Surfaces
Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Logic of Sets (IEEE Press Understanding Science & Technology)
The Essential John Nash
Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
Forecasting, Structural Time Series Models and the Kalman Filter
Choosing and Using Statistics: A Biologist's Guide
Biometrika: One Hundred Years
Parallel Algorithms for Matrix Computations
Competition, Collusion, and Game Theory
Quantifiers, Deduction, and Context (CSLI Lecture Notes)
Advancing Maths for AQA: Statistics 1
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Conjoint Measurement: Methods and Applications
Optimal Shape Design: Lectures Given at the Joint C.I.M./C.I.M.E. Summer School Held in Troia (Portugal), June 1-6, 1998 (Lecture Notes in Mathematics)
Numerical Recipes in C Example Book: The Art of Scientific Computing: C Example Book (The Art of Scientific Computing)
Mathematical Physics and Stochastic Analysis: Essays in Honour of Ludwig Streit
Computer Applications in Civil and Building Engineering: Proceedings of the Fourth International Conference on Computing in Civil and Building Engineering, July 29-31 1991, Tokyo, Japan
Environmental Assessment in Developing and Transitional Countries
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic and Existentialism (Collected Works of Bernard Lonergan)
Business and Financial Statistics Using Minitab 12 and Microsoft Excel 97
Training Statistics
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD Theoriam Serierum Infinitarum Pertinentes - 1st Part: Opera Mathematica Vol 14
Structural Proof Theory
Analysis of Algorithms
Modelling Extremal Events for Insurance and Finance (Stochastic Modelling and Applied Probability)
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies)
Mathematical Logic (Oxford Texts in Logic)
Quantitative Methods for Valuation of Financial Assets
Computational Models of Speech Pattern Processing: v. 169 (NATO ASI)
Visual Motion of Curves and Surfaces