Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Continue reading
This proceedings presents a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium ...
Continue readingThis proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The ...
Continue reading
The increasingly complex environment of today's world, characterized by technological innovation and global communication, ...
Continue reading
Contractual Management offers a holistic approach to managerial decision-making based on contracts or business processes ...
Continue reading
This book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization ...
Continue reading
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue reading
This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and ...
Continue reading
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...
Continue reading
Combines rigor and comprehensiveness. The book covers a broad range of algorithms in depth, yet makes their design and analysis ...
Continue reading
This book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, ...
Continue reading
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Machine Learning and ...
Continue reading
Reviews important aspects of powder and particle systems and the critical quality attributes that should be used as a guide ...
Continue reading
This book is a collection of eleven chapters which together represent an original contribution to the field of (multimodal) ...
Continue reading
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Continue reading
This book constitutes the refereed proceedings of the 17th International Conference on Semantic Systems, SEMANTiCS 2020, ...
Continue reading
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Continue reading