|
1 |
Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz
Wiesbaden, Germany : Springer Vieweg, [2022]
|
|
|
|
2 |
Platon digital
Heidelberg : Propylaeum, Fachinformationsdienst Altertumswissenschaften, [2019], 1. Auflage
|
|
|
|
3 |
Kompaktkurs VDHL
Molitor, Paul. - München : Oldenbourg, 2013
|
|
|
|
4 |
Algorithmen
München : Oldenbourg, 2010, 3., überarb. und erw. Aufl.
|
|
|
|
5 |
Technische Informatik
Becker, Bernd. - München : Oldenbourg, 2008, [Überarb. Aufl.]
|
|
|
|
6 |
Technische Informatik
Becker, Bernd. - München : Pearson Studium, 2005
|
|
|
|
7 |
What graphs can be efficiently represented by BDDs?
Dong, C.. - Halle : Univ., Fachbereich Mathematik und Informatik, 2005
|
|
|
|
8 |
VHDL
Molitor, Paul. - München : Pearson Studium, 2004
|
|
|
|
9 |
A coverage measure for bounded model checking
Molitor, Paul. - Halle : Univ., Fachbereich Mathematik und Informatik, 2003
|
|
|
|
10 |
An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines
Molitor, Paul. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
|
|
Administration
