for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
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 -
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) -
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) -
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) -
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) -
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) -
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) -
FPGA Design: Best Practices for Team-based Reuse (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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) -
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) -
Event-Driven Architecture: Softwarearchitektur fur ereignisgesteuerte Geschaftsprozesse (Bog, Hardback, Tysk)
Geschäftsprozesse in Unternehmen sind häufig ereignisgesteuert, da im Geschäftsumfeld eine Fülle von Ereignissen auftritt, auf die angemessen und möglichst in Echtzeit reagiert werden muss, etwa in Sensornetzwerken oder im automatischen Wertpapierhandel.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Reversible Computing (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
