Katalog der Deutschen Nationalbibliothek

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

621 - 630 von 730

	621	The Fuzzification of Systems Seising, Rudolf. - Cham : Springer International Publishing, 2007
	622	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	623	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	624	Towards mechanized mathematical assistants Berlin : Springer, 2007
	625	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	626	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	627	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	628	Abhandlungen zur Methode der kleinsten Quadrate Gauß, Carl Friedrich. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.
	629	Advances in equational theorem proving Löchner, Bernd, [2006]
	630	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006