Free Computational Mathematics Books

Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures

Fundamentals of Matrix Computations

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Extrapolation Methods: Theory and Practice

Dynamic Programming: A Computational Tool

Discrete and Computational Geometry: Japanese Conference, JCDCG’98 Tokyo, Japan, December 9-12, 1998. Revised Papers

Conceptual Structures: Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Learning Theory: 4th European Conference, EuroCOLT’99 Nordkirchen, Germany, March 29–31, 1999 Proceedings

Computational Category Theory

Computation for Metaphors, Analogy, and Agents

Gene Regulation and Metabolism: Post-Genomic Computational Approaches

Computational Molecular Biology: An Introduction

Computational Geometry. Algorithms and Applications

Bayesian Computation with R

Augmented Lagrangian Methods: Applications to the Numerical Solution of Boundary-Value Problems

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers

Analysis, Calculus. Difference-eq To Differential eq

Parallel Computational Geometry

Advances in Artificial Intelligence: 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7–9, 2001 Proceedings

Advances in Artificial Intelligence: 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000 Montéal, Quebec, Canada, May 14–17, 2000 Proceedings

Accuracy and Stability of Numerical Algorithms

Differential Equations and Quantum Groups: Andrey A. Bolibrukh Memorial Volume

Матрицы и многочлены. ч.2. Специальная теория

Weather Prediction by Numerical Process

Unification of Finite Element Methods

Transactions on Computational Science XI: Special Issue on Security in Computing, Part II

Transactions on Computational Science X: Special Issue on Security in Computing, Part I

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Topics in Surface Modeling

Theory of Difference Equations: Numerical Methods and Applications

Theories of Computational Complexity

Theoretical Numerical Analysis: A Functional Analysis Framework

The Traveling Salesman. Computational Solutions fpr TSP Applications: Computational Solutions for TSP Applications

The Numerical Solution of Ordinary and Partial Differential Equations

The Finite Element Method for Elliptic Problems

The Chebyshev Polynomials

The Bayesian Choice: From Decision-Theoretic Foundations to Computational Implementation

The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation

Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project

Statistical and Computational Inverse Problems: v. 160

Sparse Matrices

Solved Problems in Classical Mechanics: Analytical and Numerical Solutions with Comments

Simulating Hamiltonian Dynamics

Sequence Transformations and Their Applications

Representations of Groups: A Computational Approach

Radial Basis Functions: Theory and Implementations

Progress in Evolutionary Computation: AI '93 and AI '94 Workshops on Evolutionary Computation Melbourne, Victoria, Australia, November 16, 1993 Armidale, NSW, Australia, November 21–22, 1994 Selected Papers

Principles of Quantum Computation and Information: Basic Tools and Special Topics

Principles of Quantum Computation and in: 1

Partial differential equations and the finite element method

Parallel Problem Solving from Nature — PPSN IV: International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings

Parallel Problem Solving from Nature — PPSN III: International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings

Parallel Computational Geometry

Parallel Computation: First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings

Parallel Computation: Second International ACPC Conference Gmunden, Austria, October 4–6, 1993 Proceedings

Parallel Computation: Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings

Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers

Numerical Solution of Ordinary Differential Equations

Numerical Methods for Special Functions

Numerical Methods for Nonlinear Elliptic Differential Equations: A Synopsis

Numerical Linear Algebra on High-Performance Computers

Numerical Hamiltonian Problems

Numerical Analysis of Variational Inequalities

Numerical Analysis for Statisticians

Nonequilibrium Quantum Transport Physics in Nanosystems: Foundation of Computational Nonequilibrium Physics in Nanoscience and Nanotechnology

New Trends in Neural Computation: International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9–11, 1993 Proceedings

Multiscale and Multiphysics Computational Frameworks for Nano- and Bio-Systems

Modular Forms, a Computational Approach

Modular Forms: A Classical and Computational Introduction

Modern computer arithmetic

Modern computer arithmetic

Modern computer arithmetic

Matters Computational: Ideas, Algorithms, Source Code

Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers

Logic and Computational Complexity: International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers

Iterative Krylov Methods for Large Linear Systems

Intelligent Perceptual Systems: New Directions in Computational Perception

Integrated Natural Language Dialogue:: A Computational Model

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Higher-Order Finite Element Methods [With CDROM]

Geometric Computation

Fuzzy Logic in Artificial Intelligence: IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings

From Natural to Artificial Neural Computation: International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Finite Rotation Shells: Basic Equations and Finite Elements for Reissner Kinematics

Finite Geometries, Groups, and Computation: Proceedings of the Conference Finite Geometries, Groups, and Computation, Pingree Park, Colorado, USA, ... Park, Colorado, USA, September 4-9, 2004

Explorations in Monte Carlo Methods

Direct Methods for Sparse Linear Systems

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings

Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Computational Prospects of Infinity, Part I: Tutorials: Tutorials Pt. I

Computational Physics: Simulation of Classical and Quantum Systems

Computational Methods in Optimization: A Unified Approach

1
2
3
4
...
24
25
26
27
28