Thema Rechnerarchitektur und Logik-Entwurf – alle Bücher, Seite 2

Dale Miller
Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

lieferbar innerhalb 2-3 Wochen

Buch

Khaled Salah Mohamed
Heterogeneous SoC Design and Verification

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

lieferbar innerhalb 2-3 Wochen

Buch

Duc Thai Nguyen
Finite Element Methods

This new edition includes three new chapters, 7 through 9, that have very broad, practical applications in engineering and science. In addition, the author's latest research results (in Domain Partitionin…

lieferbar innerhalb 2-3 Wochen

Buch

Stefan Nikoli¿
Modern Programmable Interconnect Design

This book thoroughly analyzes the fundamental problem of programmable interconnect design in FPGAs. Recent changes in fabrication technology have caused a renewed interest in this problem that was formerl…

lieferbar innerhalb 2-3 Wochen

Buch

Tammy Noergaard
Embedded Systems Architecture

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers, Third Edition is a practical and technical guide for understanding the components that make up an embedded system's arch…

lieferbar in mind. 4 Wochen

Buch

Jakob Ratschenberger, Harald Pretl
From Code to Chip

This book shows how the layout of an analog circuit can be automatically generated in a fully open-source way. Based on an exemplary design flow, it introduces and explains the necessary steps for transfo…

lieferbar innerhalb 2-3 Wochen

Buch

Egbert Rijke
Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar innerhalb 2-3 Wochen

Buch

Michael L. Scott, Trevor Brown
Shared-Memory Synchronization

1.Introduction.- 2.Architectural Background.- 3.Essential Theory.- 4.Practical Spin Locks.- 5.Busy-wait Synchronization with Conditions.- 6.Read-mostly Atomicity.- 7.Synchronization and Scheduling.- 8.Non…

lieferbar innerhalb 2-3 Wochen

Buch

Bernd Ulmann
Analog Computing

De Gruyter Textbook

Analog and hybrid computing are two central pillars in the field of unconventional computing. Almost forgotten for decades, interest in these technologies is rapidly rising as they offer a viable path to …

lieferbar innerhalb 1-2 Wochen

Buch

Stephen Witt,
The Thinking Machine

Wie ein Hersteller von Videospielkomponenten das Silicon Valley schockierte, indem er den Markt für KI-Hardware eroberte und dabei den Computer neu erfand: Der renommierte Journalist Stephen Witt liefert …

sofort lieferbar

Buch

Dependable and Secure Computing

Communications in Computer and Information Science - Band 2697

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.The 17 …

lieferbar ab 20.3.2026.

Buch

Euro-Par 2024: Parallel Processing Workshops

The two-volume set LNCS 15385 + 15386 constitutes the proceedings of the workshops and associated events that were held in conjunction with the 30th European Conference on Parallel and Distributed Process…

lieferbar innerhalb 2-3 Wochen

Buch

Euro-Par 2024: Parallel Processing Workshops

The two-volume set LNCS 15385 + 15386 constitutes the proceedings of the workshops and associated events that were held in conjunction with the 30th European Conference on Parallel and Distributed Process…

lieferbar innerhalb 2-3 Wochen

Buch

Euro-Par 2025: Parallel Processing

The three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on Parallel and Distributed Processing, Euro-Par 2025, which took place in Dresden, Germany, during August…

lieferbar innerhalb 2-3 Wochen

Buch

Euro-Par 2025: Parallel Processing

The three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on Parallel and Distributed Processing, Euro-Par 2025, which took place in Dresden, Germany, during August…

lieferbar innerhalb 2-3 Wochen

Buch

Euro-Par 2025: Parallel Processing

The three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on Parallel and Distributed Processing, Euro-Par 2025, which took place in Dresden, Germany, during August…

lieferbar innerhalb 2-3 Wochen

Buch

Job Scheduling Strategies for Parallel Processing

.- How to make the ultimate goal of energy-efficient data centers a reality. .- Power-Aware Scheduling for Multi-Center HPC Electricity Cost Optimization. .- Job Grouping Based Intelligent Resource Predic…

lieferbar innerhalb 2-3 Wochen

Buch

Parallel Computing Technologies

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2025, held in Almaty, Kazakhstan, during October 2025.The 15 full papers togeth…

lieferbar innerhalb 2-3 Wochen

Buch

Robotics Goes MOOC

It is often read in the media that AI and Robotics are the primary cause of technology unemployment. AI and machine learning techniques are expected to take over lower-level tasks, while humans can spend …

lieferbar innerhalb 2-3 Wochen

Buch

Robotics Goes MOOC

With the massive and pervasive diffusion of robotics technology in our society, we are heading towards a new type of AI, which we call Physical AI at the intersection of Robotics with AI, that is the scie…

lieferbar innerhalb 2-3 Wochen

Buch