Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suite
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite
The Arché Papers on the Mathematics of Abstraction
This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
Lire la suite
The Death of Fashion
When, for a few weeks each year, Western fashion victims become red-hot with excitement waiting for the fashion sales to ...
Lire la suite
The Didactical Challenge of Symbolic Calculators
This text offers the first English-language exposition of how an innovative synthesis of the theories of instrumentation ...
Lire la suite
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lire la suite
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lire la suite
The Innermost Kernel
"The Innermost Kernel" recounts the physicist and Nobel Laureate Wolfgang Pauli and his interest in Jungian psychology, ...
Lire la suite
The Mathematica GuideBook for Symbolics
"The Mathematica GuideBook for Symbolics"deals with Mathematica's symbolic mathematical capabilities. Structural and mathematical ...
Lire la suite
The Universe in a Handkerchief
This book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose ...
Lire la suite
Theoretical Computer Science (vol. # 3701)
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lire la suite
Thomas Harriots Artis Analyticae Praxis
The present work is the first ever English translation of the original text of Thomas Harriot's Artis Analyticae Praxis, ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suiteTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suite
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
