Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "{{{1}}}"
im Bestand: Gesamter Bestand

99131 - 99140 von 146210

	99131	Automated assertion transformation across multiple abstraction levels Steininger, Thomas, 2009
	99132	Automated patient-specific modeling of blood llow and Vessel wall mechanics in aortic pathology Hazer, Dilana, 2009
	99133	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	99134	Automatische Erkennung von Vorhofflimmern in Echtzeit Apiwat Lek-Uthai. - Karlsruhe : KIT-Bibliothek, 2009
	99135	Automatische Prüfkörperauswertung in der digitalen Mammographie Schreiber, Andreas. - [Köln] : [Bibliothek der Fachhochsch.], [2009]
	99136	Automatisiertes Preforming für schalenförmige komplexe Faserverbundbauteile Grundmann, Tim Christian. - Aachen : Shaker, 2009, 1. Auflage
	99137	Automobil und Umwelt Heigl, Nina. - München : GRIN Verlag, 2009, 1. Auflage, digitale Originalausgabe
	99138	Autonome Sensorsysteme in der Transport- und Lebensmittellogistik Jedermann, Reiner. - München : Verlag Dr. Hut, 2009
	99139	Autonome Sensorsysteme in der Transport- und Lebensmittellogistik Jedermann, Reiner, 2009
	99140	Autonomie und Aneignung in der Arbeit Frey, Michael. - München : Hampp, 2009

99131 - 99140 von 146210