For this printing of R. Bowen's book, J.-R. Chazottes has retyped it in TeX for easier reading, thereby correcting typos ...
Lire la suiteThis textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples ...
Lire la suiteThis book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing ...
Lire la suiteField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lire la suiteField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suiteSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suiteThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suiteThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suiteIn this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteThis book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept ...
Lire la suiteThis volume collects three series of lectures on applications of the theory of Hamiltonian systems, contributed by some of ...
Lire la suiteThe book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
Lire la suiteThis volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suiteThe 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
Lire la suite