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. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

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

51 - 60 von 321

	51	Spanning subgraphs of growing degree Würfl, Andreas. - München : Universitätsbibliothek der TU München, 2013
	52	Three models of ordinal computability Seyfferth, Benjamin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	53	Towards an arithmetic for partial computable functionals Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
	54	Towards More Useful Description Logics of Time, Change and Context Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
	55	Algebraic Methods for Computing the Reliability of Networks Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	56	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
	57	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
	58	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	59	Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	60	Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012

51 - 60 von 321

Alle Materialarten > Online Ressourcen (321)

Alle Kataloge/Sammlungen > Hochschulschriften (321)

Alle Standorte

Aktionen

Administration