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 ...
Lee mas
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 ...
Lee mas
Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lee mas
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee masIntegrated 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 ...
Lee mas
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lee mas
Interactive Systems. Design Specification, and Verification
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
International Aviation Law for Aerodrome Planning
The objective of to provide ICAO, States, competent authorities and aerodrome operators with a comprehensive overview of ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Introduction to Bayesian Statistics
This is the second and translated edition of the German book “Einf ̈uhrung in die Bayes-Statistik, Springer-Verlag, Berlin ...
Lee mas
