( en | de | ru )

 

Disambiguierung von "Kuehlmann, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
EDA in flux: should I stay or should I go?

, , , , , , und . DAC, Seite 91-92. ACM, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas

Andreas Sarcletti

Die Bedeutung von Praktika und studentischen Erwerbstätigkeiten für den Berufseinstieg.. Uni Bamberg, (2009)

Andreas Ströhl

Die Geste Mensch: Vilém Flussers Kulturtheorie als kommunikationsphilosophischer Zukunftsentwurf. Uni Marburg, (2009)

Andreas Nerlich

Lebensumstände und Krankheiten einer mittelalterlich bis neuzeitlichen Bevölkerung Südddeutschlands: paläopathologische Untersuchungen. Uni München, (2009)

Andreas Edelmann

Direkte Empfindlichkeitsprüfung von Bakterien aus positiven Blutkulturen: genügt die Zuverlässigkeit der Agardiffusionsmethode den klinischen Anforderungen?. Uni Ulm, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Scalable Automated Verification via Expert-System Guided Transformations., , , , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 159-173. Springer, (2004)Will Nanotechnology Change the Way We Design and Verify Systems? (Panel)., , , , , , und . ICCAD, Seite 174. IEEE Computer Society, (2001)Next generation wireless-multimedia devices: who is up for the challenge?, , , , , , und . DAC, Seite 353-354. ACM, (2008)SIVA: A System for Coverage-Directed State Space Search., , , , und . J. Electron. Test., 17 (1): 11-27 (2001)Error Diagnosis for Transistor-Level Verification., , , und . DAC, Seite 218-224. ACM Press, (1994)Min-Area Retiming on Dynamic Circuit Structures., und . ICCAD, Seite 176-182. IEEE Computer Society, (2001)Enhanced Diameter Bounding via Structural., und . DATE, Seite 36-41. IEEE Computer Society, (2004)A fast pseudo-boolean constraint solver., und . DAC, Seite 830-835. ACM, (2003)Does IC design have a future in the clouds?, , , , , , , und . DAC, Seite 412-414. ACM, (2010)Transformation-Based Verification Using Generalized Retiming., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 104-117. Springer, (2001)