Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

241 - 250 von 746

	241	Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	242	Proofs of the Cantor-Bernstein Theorem Hinkis, Arie. - Basel : Springer Basel, 2013
	243	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren Wagner, Martin. - Aachen : Shaker, 2013, 1. Aufl., neue Ausg.
	244	Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
	245	Reachability Problems Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
	246	Relational Structure Theory Behrisch, Mike. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	247	Searching for many defective edges in hypergraphs Emonts, Jessica. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
	248	Several approaches to break the curse of dimensionality Weimar, Markus. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
	249	Spanning subgraphs of growing degree Würfl, Andreas. - München : Universitätsbibliothek der TU München, 2013
	250	The Satisfiability Problem Schöning, Uwe. - Berlin : Lehmanns, 2013, neue Ausg.

241 - 250 von 746

Alle Materialarten > Online Ressourcen (746)

Alle Kataloge/Sammlungen

Hochschulschriften (309)

Alle Standorte > Frankfurt (746)

Aktionen

Administration