Electronic Books

Total Books: 561 - 580 /1190

The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...

The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...

One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater ...

Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...

Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...

This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...

Provides a source wherein academics, researchers and practitioners may derive high-quality, original and state-of-the-art ...

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...

Linear Optimization (LO) is one of the most widely applied and taught techniques in mathematics, with applications in many ...

The objective of to provide ICAO, States, competent authorities and aerodrome operators with a comprehensive overview of ...

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...

It's a practical identification guide for interpreting CBCT findings in dental practice. Offering multiple high-quality ...

Au cours de l’histoire, les méthodes de calcul ont été l’expression de pratiques sans cesse renouvelées. Le développement ...

Elaborates on the general principles of experimental pharmacology. Describes about the screening methods for the evaluation ...

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