 
                Delivers an intuitive and hands-on explanation of using Python for cybersecurity. It relies on the MITRE ATT&CK framework ...
اقرأ المزيد 
                This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
اقرأ المزيد 
                tarting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required ...
اقرأ المزيد 
                RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
اقرأ المزيد 
                This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
اقرأ المزيد 
                The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains ...
اقرأ المزيد 
                This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
اقرأ المزيد 
                This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيد 
                By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
اقرأ المزيد 
                Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد 
                This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد 
                This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد 
                Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد 
                Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
اقرأ المزيد 
                This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد 
                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 volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
اقرأ المزيد 
                This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
اقرأ المزيد 
                The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيد