Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

91 - 100 von 321

	91	First-Order Model Checking on Generalisations of Pushdown Graphs Kartzow, Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	92	Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen Chong, Dennis, 2011
	93	Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis Distel, Felix. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	94	Matchings in balanced hypergraphs Scheidweiler, Robert Berthold. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
	95	Multivariate Splineapproximation auf Gebieten Sissouno, Nada. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	96	On cycles and independence in graphs Regen, Friedrich. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
	97	On the computation of fuel-optimal paths in time-dependent networks Kluge, Sebastian G. F.. - München : Universitätsbibliothek der TU München, 2011
	98	On the spectral theory of operators on trees Keller, Matthias. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2011
	99	Partial Quicksort and weighted branching processes Ragab, Mahmoud. - Kiel : Universitätsbibliothek Kiel, 2011
	100	Proof interpretations: theoretical and practical aspects Gaspar, Jaime. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011

91 - 100 von 321

Alle Materialarten > Online Ressourcen (321)

Alle Kataloge/Sammlungen > Hochschulschriften (321)

Alle Standorte

Aktionen

Administration