( en | de | ru )

 

Disambiguierung von "Kuehlmann, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
High-Level State Machine Specification and Synthesis.

, und . ICCD, Seite 536-539. IEEE Computer Society, (1992)

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 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)

Andreas Eickelkamp

Der Nutzwertjournalismus. Uni Leipzig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

SIVA: A System for Coverage-Directed State Space Search., , , , und . J. Electron. Test., 17 (1): 11-27 (2001)Next generation wireless-multimedia devices: who is up for the challenge?, , , , , , und . DAC, Seite 353-354. ACM, (2008)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)Enhanced Diameter Bounding via Structural., und . DATE, Seite 36-41. IEEE Computer Society, (2004)Min-Area Retiming on Dynamic Circuit Structures., und . ICCAD, Seite 176-182. IEEE Computer Society, (2001)Error Diagnosis for Transistor-Level Verification., , , und . DAC, Seite 218-224. ACM Press, (1994)Logic optimization using rule-based randomized search., , und . ASP-DAC, Seite 998-1001. ACM Press, (2005)Integrated logic synthesis using simulated annealing., , und . ACM Great Lakes Symposium on VLSI, Seite 407-410. ACM, (2011)Guess, solder, measure, repeat: how do I get my mixed-signal chip right?, , , , , , , und . DAC, Seite 520-521. ACM, (2009)