This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suiteThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis monograph examines and develops the Global Smoothness Preservation Property (GSPP) and the Shape Preservation Property ...
Lire la suiteThis book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...
Lire la suiteConstitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
Lire la suiteThe book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
Lire la suiteAlgebraic Geometry is the study of systems of polynomial equations in one or more variables.The solutions of a system of ...
Lire la suiteThe contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...
Lire la suiteIndiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through ...
Lire la suiteA model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lire la suiteDeepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...
Lire la suiteThe notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of ...
Lire la suite"This book presents a thorough and self-contained presentation of H¹ and its known isomorphic invariants, such as the uniform ...
Lire la suiteA.N. Kolmogorov (b. Tambov 1903, d. Moscow 1987) was one of the most brilliant mathematicians that the world has ever known. ...
Lire la suite