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 Krö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 ...
اقرأ المزيد
