Katalog der Deutschen Nationalbibliothek

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

501 - 510 von 1745

	501	Packing a trunk Werth, Kai. - Mainz : Universitätsbibliothek Mainz, 2013
	502	Packing a trunk Werth, Kai, 2013
	503	Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
	504	Proof-checking mathematical texts in controlled natural language Cramer, Marcos, 2013
	505	Proofs of the Cantor-Bernstein Theorem Hinkis, Arie. - Basel : Springer Basel, 2013
	506	Proofs of the Cantor-Bernstein Theorem Hinkis, Arie. - Basel : Birkhäuser, 2013
	507	Prosa oder Beweis? Berlin : H-E-Verl., 2013, Neuaufl.
	508	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ-Operatoren Wagner, Martin. - Aachen : Shaker, 2013
	509	Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren Wagner, Martin. - Aachen : Shaker, 2013, 1. Aufl., neue Ausg.
	510	Randomized approximation for the matching and vertex cover problem in hypergraphs Ouali, Mourad el, 2013