Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
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.
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) -
Bemærk: Kan ikke leveres før jul.
Theory of Reversible Computing (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data (Bog, Hardback, Engelsk)Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Task Scheduling for Multi-core and Parallel Architectures: Challenges, Solutions and Perspectives (Bog, Hardback, Engelsk)This book presents task-scheduling techniques for emerging complex parallel architectures including heterogeneous multi-core architectures, warehouse-scale datacenters, and distributed big data processing systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Proof-Theoretic Semantics (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing: From Algorithm to Architecture (Bog, Hardback, Engelsk)This book focuses on domain-specific heterogeneous reconfigurable architectures, demonstrating for readers a computing platform which is flexible enough to support multiple standards, multiple modes, and multiple algorithms.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
FPGAs for Software Programmers (Bog, Hardback, Engelsk)FPGAs for Software Programmers
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Design of Reconfigurable Logic Controllers (Bog, Hardback, Engelsk)This book presents the original concepts andmodern techniques for specification, synthesis, optimisation and implementationof parallel logical control devices.
Levering: Skaffevare (forvent 14 - 30 hverdage)
