Katalog der Deutschen Nationalbibliothek

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

241 - 250 von 309

	241	The clique number of generalized Hamming graphs Sharifiyazdi, Elham. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2007]
	242	The core model induction in a choiceless context Busche, Daniel, 2007
	243	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	244	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	245	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	246	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	247	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	248	Advances in equational theorem proving Löchner, Bernd, [2006]
	249	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	250	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006

241 - 250 von 309