Katalog der Deutschen Nationalbibliothek

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

221 - 230 von 287

	221	The core model induction in a choiceless context Busche, Daniel, 2007
	222	The phase transition in random graphs and random graph processes Seierstad, Taral Guldahl, 2007
	223	Topological paths and cycles in infinite graphs Georgakopoulos, Agelos, 2007
	224	Vector field approximation on regular surfaces in terms of outer harmonic representations Luther, Anna, 2007
	225	Verified solution of parametric interval linear systems Owny, Hassan Badry Mohamed el-, 2007
	226	A non-deterministic call-by-need lambda calculus Mann, Matthias, [2006]
	227	Advances in equational theorem proving Löchner, Bernd, [2006]
	228	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	229	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	230	Blattsprachen und Blattfunktionen Galota, Matthias, 2006