Electronic Books

Total Books: 41 - 60 /110

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

This monograph examines and develops the Global Smoothness Preservation Property (GSPP) and the Shape Preservation Property ...

This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...

Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...

The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...

Algebraic Geometry is the study of systems of polynomial equations in one or more variables.The solutions of a system of ...

The contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...

Indiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through ...

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...

Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...

The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of ...

"This book presents a thorough and self-contained presentation of H¹ and its known isomorphic invariants, such as the uniform ...

A.N. Kolmogorov (b. Tambov 1903, d. Moscow 1987) was one of the most brilliant mathematicians that the world has ever known. ...

Total Books: 41 - 60 /110