Electronic Books

Total Books: 421 - 440 /841

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logical Aspects of Computational Linguistics

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...

Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

MEMS/NEMS ; Handbook Techniques and Applications

Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...

MSCs and Innovative Biomaterials in Dentistry / Marco Tatullo

Presents the modern concepts of mesenchymal stem cells (MSCs) and biomaterials as they pertain to the dental field. The book ...

Machine Learning Methods for Reverse Engineering of Defective Structured Surfaces

Pascal Laube presents machine learning approaches for three key problems of reverse engineering of defective structured surfaces: ...

Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings

This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...

Machine Learning and Probabilistic Graphical Models for Decision Support Systems / Kim Phuc Tran

Presents recent advancements in research, a review of new methods and techniques, and applications in decision support systems ...

Machine Learning for Audio, Image and Video Analysis : Theory and Applications

The book is organized in four parts: The first focuses on technical aspects, basic mathematical notions and elementary machine ...

Machine Learning: ECML 2007

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...

Macroscopic Transport Equations for Rarefied Gas Flows

This book discusses classical and modern methods to derive macroscopic transport equations for rarefied gases from the Boltzmann ...

Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Managed Software Evolution

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...

Manual for Soil Analysis - Monitoring and Assessing Soil Bioremediation

Reliable methods for monitoring and assessing soil quality are a prerequisite for successful soil bioremediation projects. ...

Manual of Multistorey Timber Construction / Hermann Kaufmann, Stefan Krtsch, Stefan Winter,

Wood is suitable for use in multi-storey building construction with barely any restrictions. This is new and requires creative ...

Manual of Structural Design: Structural Principles - Suitable Spans - Inspiring Works - DETAIL Construction Manuals / Eberhard Moeller

Goes beyond material confines and showcases suitable construction principles for different building tasks. Classical masterpieces ...

Manual of multi-storey timber construction / Hermann Kaufmann, Stefan Krötsch, Stefan Winter

Wood is suitable for use in multi-storey building construction with barely any restrictions. This is new and requires creative ...

Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...

Market-Conform Valuation of Options

we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative ...

Total Books: 421 - 440 /841