AI and UX

Trends in Functional Programming

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Architecture of Computing Systems – ARCS 2019

OpenMP: Conquering the Full Hardware Spectrum

Software Architecture

Taxonomies for the Development and Verification of Digital Systems

Computer Aided Verification

Johan van Benthem on Logic and Information Dynamics

Signaturanalyse

Rechnerarchitektur

Languages and Compilers for Parallel Computing

Dual Mode Logic

Conceptual Spaces: Elaborations and Applications

Trustworthy Hardware Design: Combinational Logic Locking Techniques

Inside the Message Passing Interface – Creating Fast Communication Libraries

Asynchronous Circuits

SPICE

Trace Theory and VLSI Design

Computersysteme — Aufbau und Funktionsweise

Integralgleichungen

Systementwurf mit Netzen

Synthetic Vision – Using Volume Learning and Visual DNA

High Performance Integer Arithmetic Circuit Design on FPGA

Reversible Computation

Integrierte Digitale Schaltungen

More than Moore

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Practical Problems in VLSI Physical Design Automation

High-Level Synthesis

The Unknown Component Problem

New Advances in Computer Graphics

Theory of Digital Automata

Functional Design Errors in Digital Circuits

Theory of Digital Automata

Trust Networks for Recommender Systems

Trust Networks for Recommender Systems

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Well-Quasi Orders in Computation, Logic, Language and Reasoning

New Data Structures and Algorithms for Logic Synthesis and Verification

Entwurf und Diagnose komplexer digitaler Systeme

Relations and Graphs

Abstrakte Modellierung digitaler Schaltungen

Proof and Computation

Parallel Algorithms and Architectures – Proceedings of the International Workshop on Parallel Algorithms and Architectures held in Suhl

Design of FPGA-Based Computing Systems with OpenCL

Introductory Circuit Theory

Logischer Entwurf digitaler Systeme Beispiele und Übungen

Formalisieren und Beweisen

Design of Experiments for Reinforcement Learning

Computer Architectures for Spatially Distributed Data

Analog and Hybrid Computer Programming

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis

Digital Logic Design Using Verilog

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms

Revit 2018 Architecture

Speicherarchitektur und Parallelzugriff

Leistungsmodellierung von Rechnersystemen

Rechnerorganisation und Rechnerentwurf – Die Hardware/Software–Schnittstelle – MIPS Edition