Katalog der Deutschen Nationalbibliothek

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

631 - 640 von 732

	631	Advances in equational theorem proving Löchner, Bernd, [2006]
	632	Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
	633	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	634	Analysis, Modeling and Simulation of Multiscale Problems Heidelberg : Springer Berlin Heidelberg, 2006
	635	Blattsprachen und Blattfunktionen Galota, Matthias, 2006
	636	Constrained ordering Guttmann, Walter. - Ulm : Universität Ulm. Fakultät für Informatik, 2006
	637	Coping with Uncertainty Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
	638	Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
	639	Die Ausgleichungsrechnung nach der Methode der kleinsten Quadrate Helmert, Friedrich Robert. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.
	640	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006