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