Integral Methods in Science and Engineering
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
اقرأ المزيد
Integral Methods in Science and Engineering
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
اقرأ المزيد
Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
اقرأ المزيد
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
اقرأ المزيد
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
اقرأ المزيدIntegrated Groundwater Management : Concepts, Approaches and Challenges
The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater ...
اقرأ المزيد
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
اقرأ المزيد
Intelligent Algorithms for Packing and Cutting Problem / Yunqing Rao, Qiang Luo
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
اقرأ المزيد
Intelligent Computing Theories and Application
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
اقرأ المزيد
Intelligent Techniques and Tools for Novel System Architectures
Provides a source wherein academics, researchers and practitioners may derive high-quality, original and state-of-the-art ...
اقرأ المزيد
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
اقرأ المزيد
Interactive Systems. Design Specification, and Verification
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
اقرأ المزيد
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
اقرأ المزيد
Interior Point Methods for Linear Optimization
Linear Optimization (LO) is one of the most widely applied and taught techniques in mathematics, with applications in many ...
اقرأ المزيد
International Aviation Law for Aerodrome Planning
The objective of to provide ICAO, States, competent authorities and aerodrome operators with a comprehensive overview of ...
اقرأ المزيد
International Symposium on Fundamentals of Software Engineering
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
اقرأ المزيد
Interpretation Basics of Cone Beam Computed Tomography / Shawneen M. Gonzalez
It's a practical identification guide for interpreting CBCT findings in dental practice. Offering multiple high-quality ...
اقرأ المزيد
Introduction aux méthodes numériques
Au cours de l’histoire, les méthodes de calcul ont été l’expression de pratiques sans cesse renouvelées. Le développement ...
اقرأ المزيد
Introduction to Basics of Pharmacology and Toxicology ; Volume 3 : Experimental Pharmacology : Research Methodology and Biostatistics / Mageshwaran Lakshmanan, Deepak Gopal Shewade, Gerard Marshall Raj
Elaborates on the general principles of experimental pharmacology. Describes about the screening methods for the evaluation ...
اقرأ المزيد
Introduction to Bayesian Statistics
This is the second and translated edition of the German book “Einf ̈uhrung in die Bayes-Statistik, Springer-Verlag, Berlin ...
اقرأ المزيد
