This volume highlights recent advances that have contributed to our understanding of spatial patterns and scale issues in ...
Lire la suite
This book reflects the progress made in the forty years since the appearance of Robinson’s revolutionary book Nonstandard ...
Lire la suite
Carl Friedrich von Weizsäcker‘s "Aufbau der Physik", first published in 1985, was intended as an overview of his lifelong ...
Lire la suite
In long-ago 1999, the Dyslexia Institute and Plenum Press conceived a plan for two books which would gather the best of current ...
Lire la suite
After graduating, Krier first worked with O. M. Ungers and Frei Otto before setting up his own studios in Vienna and Berlin. ...
Lire la suite
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lire la suite
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lire la suite
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lire la suite
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
Lire la suite
The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
Lire la suite
This book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...
Lire la suite
A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...
Lire la suite
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...
Lire la suite
In Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...
Lire la suite
Based on a university course, this book provides an exposition of a large spectrum of geological, geochemical and geophysical ...
Lire la suite