Electronic Books

Total Books: 1221 - 1240 /1829

Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Mathematics - Key Technology for the Future : Joint Projects Between Universities and Industry 2004–2007

This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...

Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...

Mathematics and Democracy

In this book, different quantitative approaches to the study of electoral systems have been developed: game-theoretic, decision-theoretic, ...

Mathematics and Technology

Mathematics and Technology presents technological applications of mathematics making use of elegant mathematical concepts. ...

Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Matrix Algebra: Theory, Computations, and Applications in Statistics

Matrix algebra is one of the most important areas of mathematics for data analysis and for statistical theory. The first ...

Max-Plus Methods for Nonlinear Control and Estimation

The central focus of this book is the control of continuous-time/continuous-space nonlinear systems. Using new techniques ...

Max-Plus Methods for Nonlinear Control and Estimation

The central focus of this book is the control of continuous-time/continuous-space nonlinear systems. Using new techniques ...

Mechanisms, Symbols, and Models Underlying Cognition

Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Media Theory : Interdisciplinary Applied Mathematics

The focus of this book is a mathematical structure modeling a physical or biological system that can be in any of a number ...

Medial Representations : Mathematics, Algorithms and Applications

The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I

The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 (vol. # 4191)

T MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of ...

Medical centers management system / Samer Saker ; Jehad Jalbout ; Sidra Al-Zarkan ; Adel Khattar ; Maher Al-Bunni

The medical clinics management system (MCMS) is a system that manages a group of clinics distributed within different governorates ...

Membrane Computing (vol. # 3850)

The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...

Membrane Computing (vol. # 4361)

The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took ...

Meshfree Methods for Partial Differential Equations III

Meshfree methods for the numerical solution of partial differential equations are becoming more and more mainstream in many ...

Total Books: 1221 - 1240 /1829