search result

Cover von Volume 2.; Machine translation, NLP, databases and computer-aided instruction
Search for this author
Year: 1989
Publisher: Chichester, Ellis Horwood
Volume: Volume 2.
Media group: MONOGRAPHIE
Cover von Special issue on computer-aided design of analog circuits and systems
Search for this author
Year: 1993
Publisher: Boston, Kluwer
Series: Analog integrated circuits and signal processing : 3. 1993, 3
Media group: SPECIAL ISSUE
Cover von Geometric and algorithmic aspects of computer-aided design and manufacturing
DIMACS workshop computer aided design and manufacturing, October 7 - 9, 2003, Piscataway, New Jersey
Search for this author
Year: 2005
Publisher: Providence, American Mathematical Society
Series: Series in discrete mathematics and theoretical computer science; 67
Media group: MONOGRAPHIE
Cover von Finite model theory, databases, and computer-aided verification
03.10.1999 - 08.10.1999 (99401)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 253
Media group: DAGSTUHL-SEMINAR-REP
Cover von Special issue on formal methods for computer-aided design; 1
S. 5 - 119
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Count: 1
Media group: SPECIAL ISSUE
Cover von IEEE transactions on computer-aided design of integrated circuits and systems

IEEE transactions on computer-aided design of integrated circuits and systems

a publication of the IEEE circuits and systems society
Piscataway, IEEE
Media group: ZEITSCHRIFT
Volumes loading
Cover von Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips
Design Automation, Testing, and Design-for-Testability
Author: Hu, Kai; Chakrabarty, Krishnendu; Ho, Tsung-Yi Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk)

Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Volume 5.; Blind signal processing, computer-aided network design, invited sessions, neural systems and applications, power systems and power electronic circuits
Search for this author
Year: 2004
Publisher: Los Alamitos, IEEE
Volume: Volume 5.
Media group: KONGRESSBERICHT
Cover von Rechnergestützte Wissensakquisition für Werkzeuge zum Entwurf integrierter Schaltungen
Author: Hermann, Jürgen Search for this author
Year: 1989
Publisher: Dortmund, Universität
Series: Forschungsberichte; 299
Media group: DISSERTATION
OPEN V 11.1.0.0