In Situ NMR Methods in Catalysis is part of the Springer series Topics in Current Chemistry. The book contains five chapters ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th International Conference on Independent Component Analysis and ...
Weiterlesen
Comprehensive coverage looks at infection control and prevention from the perspective of all dental team members. Easy-to-follow, ...
Weiterlesen
Informatics Education – Supporting Computational Thinking contains papers presented at the Third International Conference ...
Weiterlesen
This book constitutes the refereed proceedings of the 11th International Conference on Information Security Conference, ISC ...
Weiterlesen
This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all ...
Weiterlesen
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
Weiterlesen
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
Weiterlesen
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Weiterlesen
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
WeiterlesenThe aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater ...
Weiterlesen
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Weiterlesen
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Weiterlesen
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
Weiterlesen
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Weiterlesen
Linear Optimization (LO) is one of the most widely applied and taught techniques in mathematics, with applications in many ...
Weiterlesen
The objective of to provide ICAO, States, competent authorities and aerodrome operators with a comprehensive overview of ...
Weiterlesen
This is the second and translated edition of the German book “Einf ̈uhrung in die Bayes-Statistik, Springer-Verlag, Berlin ...
Weiterlesen
This book gives a concise introduction to the practical implementation of monetary policy by modern central banks. It describes ...
Weiterlesen