Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms
For this printing of R. Bowen's book, J.-R. Chazottes has retyped it in TeX for easier reading, thereby correcting typos ...
اقرأ المزيد
Ergodic Dynamics : From Basic Theory to Applications
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples ...
اقرأ المزيد
Essays in Constructive Mathematics
This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing ...
اقرأ المزيد
Field Arithmetic
Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
اقرأ المزيد
Field Arithmetic
Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
اقرأ المزيد
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 Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
اقرأ المزيد
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Formal Methods for Hardware Verification
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Foundations of Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيد
From Hahn-Banach to Monotonicity
In this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex ...
اقرأ المزيد
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
Geometry of Quantum Theory
This book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept ...
اقرأ المزيد
Hamiltonian Dynamics - Theory and Applications
This volume collects three series of lectures on applications of the theory of Hamiltonian systems, contributed by some of ...
اقرأ المزيد
Ideals and Reality
The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological ...
اقرأ المزيد
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
اقرأ المزيد
Implementation and Application of Functional Languages (vol. # 3474)
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
اقرأ المزيد
