Katalog der Deutschen Nationalbibliothek

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

631 - 640 von 730

	631	Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
	632	Analysis, Modeling and Simulation of Multiscale Problems Heidelberg : Springer Berlin Heidelberg, 2006
	633	Blattsprachen und Blattfunktionen Galota, Matthias, 2006
	634	Constrained ordering Guttmann, Walter. - Ulm : Universität Ulm. Fakultät für Informatik, 2006
	635	Coping with Uncertainty Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
	636	Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
	637	Die Ausgleichungsrechnung nach der Methode der kleinsten Quadrate Helmert, Friedrich Robert. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.
	638	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	639	Distributed Abstract State Machines and Their Expressive Power Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
	640	Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006