Katalog der Deutschen Nationalbibliothek

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

621 - 630 von 733

	621	The clique number of generalized Hamming graphs Sharifiyazdi, Elham. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2007]
	622	The core model induction in a choiceless context Busche, Daniel, 2007
	623	The Fuzzification of Systems Seising, Rudolf. - Cham : Springer International Publishing, 2007
	624	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	625	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	626	Towards mechanized mathematical assistants Berlin : Springer, 2007
	627	Uncertainty Theory Cham : Springer Nature Switzerland, 2007
	628	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	629	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	630	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]