Katalog der Deutschen Nationalbibliothek

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

231 - 240 von 296

	231	Advances in equational theorem proving Löchner, Bernd, [2006]
	232	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	233	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	234	Blattsprachen und Blattfunktionen Galota, Matthias, 2006
	235	Constrained ordering Guttmann, Walter. - Ulm : Universität Ulm. Fakultät für Informatik, 2006
	236	Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
	237	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	238	Distributed Abstract State Machines and Their Expressive Power Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
	239	Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006
	240	Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006