for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design... Læs mere
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from... 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.
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial... Læs mere
Here is a laboratory workbook filled with interesting and challenging projects for digital logic design and embedded systems classes.
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.... Læs mere
The information age technology revolution promises enormous benefits to the U.S. and global economies. Yet if those benefits are to be fully realized, policymakers in the U.
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.
Critical Listening Education in Sound Engineering is a unique, interdisciplinary resource providing structured guidance for understanding and teaching critical listening within sound engineering and music production education.
Understanding Blockchain in Construction: A Practical Guide is an essential resource that offers a comprehensive exploration of the transformative impact of blockchain technology in the construction industry.