This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th Annual International Conference on Research in Computational Molecular ...
اقرأ المزيد
From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics ...
اقرأ المزيد
PrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
اقرأ المزيد
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
اقرأ المزيد
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
اقرأ المزيد
The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
اقرأ المزيد
People use software and other technical systems in many ways, and a considerable amount of time and energy may be spent integrating ...
اقرأ المزيد
Responsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...
اقرأ المزيد
Brings together some of the best writing by leading authorities on many key topics, including benchmarking, lean quality, ...
اقرأ المزيد
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
اقرأ المزيد
The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
اقرأ المزيد
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 ...
اقرأ المزيد
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
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 ...
اقرأ المزيد