Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.

Ergebnis der Suche nach: "120699087"
im Bestand: Gesamter Bestand

1 - 10 von 21

	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