Field Arithmetic
Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Weiterlesen
Field Arithmetic
Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Weiterlesen
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Weiterlesen
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 ...
Weiterlesen
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Weiterlesen
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 ...
Weiterlesen
Formal Methods for Hardware Verification
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
Weiterlesen
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 ...
Weiterlesen
Foundations of Generic Optimization
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Frontiers in Algorithmics : 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...
Weiterlesen
Frontiers in Number Theory, Physics, and Geometry II
The present book collects most of the courses and seminars delivered at the meetingentitled"FrontiersinNumberTheory, PhysicsandGeometry", ...
Weiterlesen
Frontiers in Quantum Systems in Chemistry and Physics
The basic theory of matter on the nanoscale is quantum mechanics and the application of quantum mechanics to the study of ...
Weiterlesen
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Weiterlesen
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Weiterlesen
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Weiterlesen
General Relativity
This book offers an alternative to other textbooks on the subject, providing a more specific discussion of numerous general ...
Weiterlesen
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 ...
Weiterlesen
Geostatistics Banff 2004
The five major sections are: theory, mining, petroleum, environmental and other applications. The first section showcases ...
Weiterlesen
