Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
Bemærk: Kan ikke leveres før jul.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Bog, Hardback, Engelsk)Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Understanding Concurrent Systems (Bog, Hardback, Engelsk)CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R.... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Hardware Security and Trust: Design and Deployment of Integrated Circuits in a Threatened Environment (Bog, Hardback, Engelsk)In order to address the conflict between testability and security, the authors describe innovative design-for-testability (DFT) computer-aided design (CAD) tools that support security challenges, engineered for compliance with existing, commercial tools.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modelling Distributed Systems (Bog, Hardback, Engelsk)A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of wireless and mobile networking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic Synthesis for FSM-Based Control Units (Bog, Hardback, Engelsk)This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Molecular Computing: Origins and Promises (Bog, Hardback, Engelsk)The question whether molecular primitives can prove to be real alternatives to contemporary semiconductor means or effective supplements extending greatly possibilities of information technologies is addressed.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Flip-Flop Design in Nanometer CMOS: From High Speed to Low Energy (Bog, Hardback, Engelsk)This book provides a unified treatment of Flip-Flop design and selection in nanometer CMOS VLSI systems. The design aspects related to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Johan van Benthem on Logic and Information Dynamics (Bog, Hardback, Engelsk)And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
FPGA Design: Best Practices for Team-based Reuse (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Digital Logic for Computing (Bog, Hardback, Engelsk)The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Calculus of Computation: Decision Procedures with Applications to Verification (Bog, Hardback, Engelsk)This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory of Reversible Computing (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
