The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Continue reading
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Continue reading
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Continue reading
Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...
Continue reading
Presents the modern concepts of mesenchymal stem cells (MSCs) and biomaterials as they pertain to the dental field. The book ...
Continue reading
Pascal Laube presents machine learning approaches for three key problems of reverse engineering of defective structured surfaces: ...
Continue readingThis 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
Presents recent advancements in research, a review of new methods and techniques, and applications in decision support systems ...
Continue reading
The book is organized in four parts: The first focuses on technical aspects, basic mathematical notions and elementary machine ...
Continue reading
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...
Continue reading
This book discusses classical and modern methods to derive macroscopic transport equations for rarefied gases from the Boltzmann ...
Continue reading
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
Continue reading
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Continue reading
Reliable methods for monitoring and assessing soil quality are a prerequisite for successful soil bioremediation projects. ...
Continue reading
Wood is suitable for use in multi-storey building construction with barely any restrictions. This is new and requires creative ...
Continue reading
Goes beyond material confines and showcases suitable construction principles for different building tasks. Classical masterpieces ...
Continue reading
Wood is suitable for use in multi-storey building construction with barely any restrictions. This is new and requires creative ...
Continue reading
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...
Continue reading
we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative ...
Continue reading