Electronic Books

Total Books: 41 - 60 /112

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 ...

Total Books: 41 - 60 /112