Electronic Books

Total Books: 421 - 440 /841
978-3-540-73445-1
Logic, Language, Information and Computation

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

Continue reading
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

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

Continue reading
978-3-540-31953-5
Logical Aspects of Computational Linguistics

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

Continue reading
978-3-540-74107-7
Logics of Specification Languages

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

Continue reading
978-0-387-25786-0
MEMS/NEMS ; Handbook Techniques and Applications

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

Continue reading
978-3-319-55645-1
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 ...

Continue reading
978-3-658-29017-7
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: ...

Continue reading
NoIMG
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 ...

Continue reading
9781032039480
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 ...

Continue reading
978-1-84800-007-0
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 ...

Continue reading
978-3-540-74958-5
Machine Learning: ECML 2007

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

Continue reading
978-3-540-32386-0
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 ...

Continue reading
978-3-540-79588-9
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, ...

Continue reading
978-3-030-13499-0
Managed Software Evolution

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

Continue reading
978-3-540-28904-3
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. ...

Continue reading
9783955535810
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 ...

Continue reading
9783955535650
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 ...

Continue reading
9783955533946
Manual of multi-storey timber construction / Hermann Kaufmann, Stefan Krötsch, Stefan Winter

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

Continue reading
978-1-78561-583-2
Many-Core Computing : Hardware and software

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

Continue reading
978-3-540-30838-6
Market-Conform Valuation of Options

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

Continue reading
Total Books: 421 - 440 /841