Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
Bemærk: Kan ikke leveres før jul.
In-Memory-Computing: Synthese und Optimierung (Bog, Hardback, Tysk)Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Blocks: Auf dem Weg zu Energieeffizienten, Grobkornigen, Rekonfigurierbaren Architekturen (CGRA) (Bog, Hardback, Tysk)Dieses Buch beschreibt eine neue, grobkörnige rekonfigurierbare Architektur (CGRA), genannt Blocks, und stellt sie in den Kontext von Computerarchitekturen und insbesondere von anderen CGRAs.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic of Computation (Bog, Hardback, Engelsk)The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Introduzione al Progetto di Sistemi a Microprocessore (Bog, Hardback, Italiensk)Il libro di testo è concepito per studenti di un primo corso sullo sviluppo di sistemi a microprocessore, nelle Facoltà di Ingegneria e di Scienze.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Parallel Processing Algorithms For GIS (Bog, Hardback, Engelsk)Parallel processing is a technology now coming of age in a diversity of application domains, notably GIS where large data sets are involved. This text focuses on the ways in which technology can be applied to GIS applications, emphasizing software
Levering: 6 - 9 hverdage -
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)
