The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThis Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suiteThis volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lire la suiteTwo-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes ...
Lire la suiteIn this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, ...
Lire la suiteYou'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give ...
Lire la suiteThis book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Lire la suiteThis book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...
Lire la suiteThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suiteRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lire la suiteThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lire la suiteThis book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...
Lire la suiteYou already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...
Lire la suiteBest selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
Lire la suiteThis no-fluff desk reference offers direct access to the information you need to get the job done. It covers basic T-SQL ...
Lire la suiteSQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
Lire la suite