Electronic Books

Total Books: 561 - 580 /1190

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 ...

Total Books: 561 - 580 /1190