Modelling and Reasoning with Vague Concepts

Markov Chains: Models, Algorithms and Applications

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

Multiscale Optimization Methods and Applications

Nonlinear Integer Programming

A Concise Introduction to Mathematical Logic

Measure Theory and Probability Theory

Geometric Properties for Incomplete data

Modern Formal Methods and Applications

Positive Operators

Advances in Sensing with Security Applications

Raisonnements divins Quelques démonstrations mathématiques particulièrement élégantes

Grundkurs Codierung Verschlüsselung, Kompression, Fehlerbeseitigung

Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm — Lern- und Arbeitsbuch für Informatiker und Mathematiker

Complex Systems in Biomedicine

Introduzione al Calcolo Scientifico Esercizi e problemi risolti con MATLAB

Modellistica numerica per problemi differenziali

Cálculo Cientifico con MATLAB y Octave

Curve e superfici

Brute Force Cracking the Data Encryption Standard

An Introduction to Meshfree Methods and Their Programming

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

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

Frontiers of Numerical Analysis

Dynamical Systems Examples of Complex Behaviour

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

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

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

Mathématiques Informatique Physique Au fil des TIPE

MATLAB 7 Eine Einführung

Multiscale Methods in Science and Engineering

Einführung in die Analysis dynamischer Systeme

Logica Universalis Towards a General Theory of Logic

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

Encyclopedia of Cryptography and Security

The Next Wave in Computing, Optimization, and Decision Technologies

Handbook of Combinatorial Optimization Supplement Volume B

Statistical Modeling and Analysis for Complex Data Problems

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

Interior Point Methods for Linear Optimization

Geometric Fundamentals of Robotics

Constraint Theory Multidimensional Mathematical Model Management

Developing Statistical Software in Fortran 95

Logic, Thought and Action

A Modern Perspective on Type Theory From its Origins until Today

An Introduction to Queueing Theory and Matrix-Analytic Methods

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

Discrete, Continuous, and Hybrid Petri Nets

Domain Decomposition Methods in Science and Engineering

Meshfree Methods for Partial Differential Equations II

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

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

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

An Annotated Timeline of Operations Research An Informal History

The Basics of S-PLUS

Computational Genome Analysis An Introduction

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

An Annotated Timeline of Operations Research: An Informal History

Computer Graphics and Geometric Modeling Implementation and Algorithms

Matematica generale con il calcolatore

Codici Cifrati Arne Beurling e la crittografia nella II guerra mondiale