Katalog der Deutschen Nationalbibliothek

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

111 - 120 von 719

	111	Packing a trunk Werth, Kai. - Mainz : Universitätsbibliothek Mainz, 2013
	112	Packing a trunk Werth, Kai, 2013
	113	Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	114	Proof-checking mathematical texts in controlled natural language Cramer, Marcos, 2013
	115	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ-Operatoren Wagner, Martin. - Aachen : Shaker, 2013
	116	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren Wagner, Martin. - Aachen : Shaker, 2013, 1. Aufl., neue Ausg.
	117	Randomized approximation for the matching and vertex cover problem in hypergraphs Ouali, Mourad el, 2013
	118	Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
	119	Reconstruction of graphs from images Zidan, Hamdy, 2013
	120	Relational structure theory Behrisch, Mike, 2013