for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
The text discusses the fundamentals, frameworks, and practical applications of cognitive and smart computing in diverse areas such... Læs mere
Ideal for engineers, researchers, and technology leaders, this book provides both inspiration and actionable... Læs mere
Here is the ideal introduction to agile development. The book details agile principles, roles, managerial practices, technical practices and artifacts, offering a complete review that will help readers master all the important agile ideas.
Next, Part III focuses on process discovery as the most important process mining task, while Part IV moves beyond discovering the control flow of processes, highlighting conformance checking, and organizational and time perspectives.
It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design... Læs mere
The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
Lankhorst and his co-authors present ArchiMate® 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models.
Discrete Mathematics for Data Science provides an early course in both Data Science and Discrete Mathematics, focusing on how a deeper understanding of the former can unlock a more effective implementation of the latter.