Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
The Didactical Challenge of Symbolic Calculators
This text offers the first English-language exposition of how an innovative synthesis of the theories of instrumentation ...
Lee mas
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lee mas
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lee mas
The Innermost Kernel
"The Innermost Kernel" recounts the physicist and Nobel Laureate Wolfgang Pauli and his interest in Jungian psychology, ...
Lee mas
The Mathematica GuideBook for Symbolics
"The Mathematica GuideBook for Symbolics"deals with Mathematica's symbolic mathematical capabilities. Structural and mathematical ...
Lee mas
The Universe in a Handkerchief
This book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose ...
Lee mas
Theoretical Computer Science (vol. # 3701)
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lee mas
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, ...
Lee mas
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; ...
Lee mas
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 ...
Lee masTools 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 ...
Lee masTools 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 ...
Lee mas
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 ...
Lee mas
