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

121 - 130 von 734

	121	Proof-checking mathematical texts in controlled natural language Cramer, Marcos, 2013
	122	Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	123	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ-Operatoren Wagner, Martin. - Aachen : Shaker, 2013
	124	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren Wagner, Martin. - Aachen : Shaker, 2013, 1. Aufl., neue Ausg.
	125	Randomized approximation for the matching and vertex cover problem in hypergraphs Ouali, Mourad el, 2013
	126	Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
	127	Reconstruction of graphs from images Zidan, Hamdy, 2013
	128	Relational structure theory Behrisch, Mike, 2013
	129	Relational Structure Theory Behrisch, Mike. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	130	Searching for many defective edges in hypergraphs Emonts, Jessica, 2013