Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lee mas
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee mas
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee masFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lee mas
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lee mas
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas
Global Smoothness and Shape Preserving Interpolation by Classical Operators
This monograph examines and develops the Global Smoothness Preservation Property (GSPP) and the Shape Preservation Property ...
Lee mas
Goguen Categories
This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...
Lee mas
Human Interactive Proofs
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
Lee mas
Ideals and Reality
The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
Lee mas
Ideals, Varieties, and Algorithms
Algebraic Geometry is the study of systems of polynomial equations in one or more variables.The solutions of a system of ...
Lee mas
Index and Stability in Bimatrix Games
The contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...
Lee mas
Indiscrete Thoughts
Indiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through ...
Lee mas
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lee mas
Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George
Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...
Lee mas
Isomonodromic Deformations and Frobenius Manifolds : An Introduction
The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of ...
Lee mas
Isomorphisms Between H¹ Spaces
"This book presents a thorough and self-contained presentation of H¹ and its known isomorphic invariants, such as the uniform ...
Lee mas
Kolmogorovs Heritage in Mathematics
A.N. Kolmogorov (b. Tambov 1903, d. Moscow 1987) was one of the most brilliant mathematicians that the world has ever known. ...
Lee mas
