Katalog der Deutschen Nationalbibliothek

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

621 - 630 von 732

	621	The core model induction in a choiceless context Busche, Daniel, 2007
	622	The Fuzzification of Systems Seising, Rudolf. - Cham : Springer International Publishing, 2007
	623	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	624	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	625	Towards mechanized mathematical assistants Berlin : Springer, 2007
	626	Uncertainty Theory Cham : Springer Nature Switzerland, 2007
	627	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	628	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	629	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	630	Abhandlungen zur Methode der kleinsten Quadrate Gauß, Carl Friedrich. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.