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