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