They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
اقرأ المزيد
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
اقرأ المزيد
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
اقرأ المزيد
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
اقرأ المزيد
This book provides an accurate overview of the recent research or industrial application in interactive design. The different ...
اقرأ المزيد
In thi book you will find in-depth details related to: reduced modelling techniques: a new approach to extended and adaptive ...
اقرأ المزيد
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
اقرأ المزيد
Resource Management in Satellite Networks: Optimization and Cross-Layer Design addresses the emergent research area of cross-layer ...
اقرأ المزيد
People use software and other technical systems in many ways, and a considerable amount of time and energy may be spent integrating ...
اقرأ المزيد
This open access book offers new insights into the ageing-migration nexus and the nature of home. Documenting the hidden ...
اقرأ المزيد
Retrial Queueing Systems: A Computational Approach also Presents motivating examples in telephone and computer networks. Establishes ...
اقرأ المزيد
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
اقرأ المزيد
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيد
At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
اقرأ المزيد
It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...
اقرأ المزيد
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
اقرأ المزيد
Presents various concepts and applications related to risk-conscious operations management. It also provides an overview ...
اقرأ المزيد
The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of ...
اقرأ المزيد