作者: Paul Molitor

Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today’s design processes it becomes more and more important. Very large …

Der ‘Cormen’ bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren E …

…

Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verändert. Rechnersysteme in den verschiedensten Ausprägungen sind integraler Bestandteil des täglichen Lebens geworden. …

Das Buch umfasst den Stoff einer einsemestrigen Vorlesung und bietet dem Leser eine leicht verständliche und mit vielen interessanten Beispielen unterlegte Einführung in die Sprache. Die Autoren verz …

Message Passing Interface (MPI) ist ein Protokoll, das parallel Berechnungen auf verteilten, heterogenen, lose-gekoppelten Computersystemen ermöglicht. Das Buch beginnt mit einem kurzen Überblick übe …

Die vorliegende Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz zeigt insbesondere über Kurzberichte der Doktorkinder die Nachwirkung von Günter Hotz’ Schaffen auf. Sie gibt d …