Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدFoundations 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيد
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
Goguen Categories
This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...
اقرأ المزيد
Human Interactive Proofs
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
اقرأ المزيد
Ideals and Reality
The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Indiscrete Thoughts
Indiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through ...
اقرأ المزيد
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. ...
اقرأ المزيد
Integral Waterproofing of Concrete Structures : Advanced Protection Technologies of Concrete by Pore Blocking and Lining / Maher Al-Jabari
This book first establishes a background about concrete structures and porosity linked with concrete hydration, then goes ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
