Katalog der Deutschen Nationalbibliothek

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

591 - 600 von 722

	591	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	592	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	593	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	594	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	595	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	596	Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.
	597	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	598	Advances in equational theorem proving Löchner, Bernd, [2006]
	599	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	600	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006