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