> Verlagsreihe
-
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern] Jens Brandt ... (Hrsg.)
Hamburg: Kovač, 2012
-
Selbsttestbare Steuerwerke Strukturen und Syntheseverfahren Sybille Hellebrand
Hamburg: Kovač, 1999
-
Software-ergonomische Aspekte der Studierumgebung blinder Menschen Thomas Kahlisch
Hamburg: Kovač, 1998