Optimization Theory and Methods Nonlinear Programming

Continuous System Simulation

Geometric Properties for Incomplete data

Modern Formal Methods and Applications

Positive Operators

Theory of Computation

Automatic Differentiation: Applications, Theory, and Implementations

Mathematische Probleme lösen mit Maple

Python Scripting for Computational Science

Arne Beurling und Hitlers Geheimschreiber Schwedische Entzifferungserfolge im 2. Weltkrieg

Methoden der Bioinformatik Eine Einführung

Handbook on Modelling for Discrete Optimization

Nonlinear Integer Programming

A Concise Introduction to Mathematical Logic

Measure Theory and Probability Theory

Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists

Modelling and Reasoning with Vague Concepts

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Logica Universalis Towards a General Theory of Logic

An Introduction to Queueing Theory and Matrix-Analytic Methods

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis

Computer Graphics and Geometric Modeling Implementation and Algorithms

Mathématiques Informatique Physique Au fil des TIPE

Einführung in die Analysis dynamischer Systeme

Domain Decomposition Methods in Science and Engineering

Discrete, Continuous, and Hybrid Petri Nets

Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3–5, 2003

Meshfree Methods for Partial Differential Equations II

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Modeling, Simulation and Optimization of Complex Processes Proceedings of the International Conference on High Performance Scientific Computing, March 10–14, 2003, Hanoi, Vietnam

Analysis für Informatiker Grundlagen, Methoden, Algorithmen

Information and Its Role in Nature

Dimension Reduction of Large-Scale Systems Proceedings of a Workshop held in Oberwolfach, Germany, October 19–25, 2003

Current Trends in High Performance Computing and Its Applications Proceedings of the International Conference on High Performance Computing and Applications, August 8–10, 2004, Shanghai, P.R. China

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Design of Intelligent Multi-Agent Systems Human-Centredness, Architectures, Learning and Adaptation

Brute Force Cracking the Data Encryption Standard

Encyclopedia of Cryptography and Security

The Next Wave in Computing, Optimization, and Decision Technologies

An Annotated Timeline of Operations Research An Informal History

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

Interior Point Methods for Linear Optimization

Constraint Theory Multidimensional Mathematical Model Management

Developing Statistical Software in Fortran 95

The Basics of S-PLUS

Computational Genome Analysis An Introduction

A Modern Perspective on Type Theory From its Origins until Today

An Introduction to Meshfree Methods and Their Programming

An Annotated Timeline of Operations Research: An Informal History

MATLAB 7 Eine Einführung

Frontiers of Numerical Analysis

Dynamical Systems Examples of Complex Behaviour

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

Intelligent Paradigms for Healthcare Enterprises

Hierarchical Bayesian Optimization Algorithm Toward a new Generation of Evolutionary Algorithms

Logic, Thought and Action

Handbook of Combinatorial Optimization Supplement Volume B

Security and Privacy in the Age of Ubiquitous Computing IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan

Statistical Modeling and Analysis for Complex Data Problems

Geometric Fundamentals of Robotics

Multiscale Methods in Science and Engineering

Programmieren mit Java Eine grundlegende Einführung für Informatiker und Ingenieure

Numerical Methods for General and Structured Eigenvalue Problems

QCD and Numerical Analysis III Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

Codici Cifrati Arne Beurling e la crittografia nella II guerra mondiale

Matematica generale con il calcolatore