Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

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

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

41 - 50 von 301

	41	Packing a trunk Werth, Kai. - Mainz : Universitätsbibliothek Mainz, 2013
	42	Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	43	Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
	44	Relational Structure Theory Behrisch, Mike. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	45	Searching for many defective edges in hypergraphs Emonts, Jessica. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	46	Several approaches to break the curse of dimensionality Weimar, Markus. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
	47	Spanning subgraphs of growing degree Würfl, Andreas. - München : Universitätsbibliothek der TU München, 2013
	48	Three models of ordinal computability Seyfferth, Benjamin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	49	Towards an arithmetic for partial computable functionals Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
	50	Towards More Useful Description Logics of Time, Change and Context Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013