This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
WeiterlesenThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
WeiterlesenThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
WeiterlesenAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
WeiterlesenThis book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
WeiterlesenThis monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to ...
WeiterlesenThis book includes different issues related with: process and engineering of model transformations; model transformations ...
WeiterlesenThe present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
WeiterlesenThis book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
WeiterlesenThis book presents comprehensive and authoritative coverage of the wide field of concentrated vortices observed in nature ...
WeiterlesenTCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
WeiterlesenThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
WeiterlesenThe papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
WeiterlesenReports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
WeiterlesenThis book deals with the recent theory of function spaces as it stands now. Special attention is paid to some developments ...
WeiterlesenA one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...
WeiterlesenThis book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
WeiterlesenA new science emerges at the intersection of modern physics, computer s- ence,andmaterialscience. Thestruggletofurtherminiaturizeisputtingna- ...
Weiterlesen