Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

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

151 - 160 von 734

	151	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
	152	Assertion level proof planning with compiled strategies Dietrich, Dominik. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
	153	Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
	154	Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
	155	Categorical semantics of constructive set theory Berg, Benno van den, 2012
	156	Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
	157	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
	158	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	159	Computational aspects of dependence logic Lohmann, Peter, 2012
	160	Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012

151 - 160 von 734

Alle Materialarten

Alle Kataloge/Sammlungen > Hochschulschriften (734)

Alle Standorte

Aktionen