Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design.
Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.
5 Ebooks by Ulrich Kühne
Rolf Drechsler & Ulrich Kühne: Formal Modeling and Verification of Cyber-Physical Systems
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to mode …
PDF
English
€53.49
Jürgen Weber & Volker Hafkesbrink: Bauwerksabdichtung in der Altbausanierung
Das Buch stellt die umfangreichen Möglichkeiten nachträglicher Abdichtungen im erdberührten und nicht erdberührten Bereich beim Bauen im Bestand vor. Ziel ist die Darstellung der wichtigsten Technolo …
PDF
German
€89.99
Jürgen Weber & Volker Hafkesbrink: Bauwerksabdichtung in der Altbausanierung
Das Buch stellt die umfangreichen Möglichkeiten nachträglicher Abdichtungen im erdberührten Bereich vor. Ziel ist die Darstellung der wichtigsten Technologien und verwendbaren Materialien. Das Autore …
PDF
German
€54.99
Jürgen Weber & Volker Hafkesbrink: Bauwerksabdichtung in der Altbausanierung
Im deutschen Bauwesen zeichnet sich seit längerem die Entwicklung ab, dass technische E- scheidungen in der Planung und Ausführung immer stärker auch zu einer rechtlichen Bewertung führen. Dies …
PDF
German
€49.99
