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