This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lire la suiteIn the book Theoretical Knowledge, an original conception of a structure and dynamics of scientific knowledge is proposed. ...
Lire la suiteThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Lire la suiteAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suiteTheory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Lire la suiteThis book intends to help understand and apply principles and rules better. Its target is to keep the distinction between ...
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 suiteThe Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...
Lire la suiteNicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Lire la suiteThe treatment of time in quantum mechanics is still an important and challenging open question in the foundation of the quantum ...
Lire la suiteGovernments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...
Lire la suiteThe book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...
Lire la suiteThe study of atomic physics propelled us into the quantum age in the early twentieth century and carried us into the twenty-first ...
Lire la suiteProvides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Lire la suiteNicolas BOURBAKI's Elements of Mathematics aim at a rigorous, systematic presentation without prerequisites of mathematics ...
Lire la suiteNicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Lire la suiteThe book brings together research communities from different disciplines and countries, and offers an exchange about theoretical ...
Lire la suiteThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suiteThis book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
Lire la suiteTransactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lire la suite