Katalog der Deutschen Nationalbibliothek

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

1461 - 1470 von 1738

	1461	Towards mechanized mathematical assistants Berlin : Springer, 2007
	1462	Towards mechanized mathematical assistants Berlin : Springer, 2007
	1463	Uncertainty Theory Cham : Springer Nature Switzerland, 2007
	1464	Uncertainty theory Liu, Baoding. - Berlin : Springer, 2007, 2. ed.
	1465	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	1466	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	1467	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	1468	Verschiedene Beweisanordnungen des Satzes von MÜNTZ Erkens, Michael. - Tönning : Der Andere Verl., 2007
	1469	Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.
	1470	Walks on ordinals and their characteristics Todorcevic, Stevo. - Basel : Birkhäuser, 2007