Katalog der Deutschen Nationalbibliothek

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

1311 - 1320 von 1747

	1311	Algebraic techniques for satisfiability problems Schnoor, Henning. - Göttingen : Cuvillier, 2007, 1. Aufl.
	1312	Algebraically solvable problems Schauz, Uwe, 2007
	1313	Algebraically solvable problems Schauz, Uwe, 2007
	1314	Algorithm for transformation of logic functions (ATLF) Ščerbanskij, Lev. - Berlin : NG-Verl., 2007
	1315	Algorithmen zur Konstruktion und Ausdünnung von Spanner-Graphen im cache-oblivious-Modell Gieseke, Fabian. - Dortmund : Univ., Algorithm Engineering, 2007
	1316	Algorithmic aspects of triangle-based network analysis Schank, Thomas, 2007
	1317	Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture Harmsen, Silvia, [2007]
	1318	Algorithmic randomness Mihailović, Nenad, 2007
	1319	Algorithmic randomness Mihailović, Nenad, 2007
	1320	Algorithms and experiments for parameterized approaches to hard graph problems Hüffner, Falk, 2007