Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Lee mas
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee mas
Logical Aspects of Computational Linguistics
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
MEMS/NEMS ; Handbook Techniques and Applications
Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...
Lee mas
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 ...
Lee mas
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: ...
Lee masMachine 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Machine Learning: ECML 2007
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...
Lee mas
Market-Conform Valuation of Options
we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative ...
Lee mas
