search result

Cover von CAD

CAD
computer-aided design
Amsterdam, Elsevier
Media group: ZEITSCHRIFT
Volumes loading
Cover von CASE

CASE
computer-aided software engineering
Author: Lewis, Theodore Gyle Search for this author
Year: 1991
Publisher: New York, Van Nostrand Reinhold
Series: VNR computer library
Media group: MONOGRAPHIE
Cover von Codesign

Codesign
computer-aided software/hardware engineering
Search for this author
Year: 1995
Publisher: New York, IEEE
Media group: MONOGRAPHIE
Cover von Computer algebra with LISP and REDUCE

Computer algebra with LISP and REDUCE
an introduction to computer-aided pure mathematics
Author: Brackx, Fred; Constales, Denis Search for this author
Year: 1991
Publisher: Boston, Kluwer
Series: Mathematics and its applications; 72
Media group: MONOGRAPHIE
Cover von The VHDL Reference

The VHDL Reference
A Practical Guide to Computer-Aided Integrated Circuit Design including VHDL-AMS
Search for this author
Year: 2000
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Property-Directed k-Induction

Property-Directed k-Induction
article in Formal Methods in Computer-Aided Design, FMCAD 2016 : pp. 85-92
Search for this author
Year: 2016
Publisher: Austin, University of Texas
Media group: ARTICLE
Cover von Control-Fluidic CoDesign for Paper-Based Digital Microfluidic Biochips

Control-Fluidic CoDesign for Paper-Based Digital Microfluidic Biochips
article in ICCAD '16 Proceedings of the 35th International Conference on Computer-Aided Design : 8 pp.
Author: Wang, Qin; Li, Zeyan; Cheong, Haena Search for this author
Year: 2016
Publisher: New York, ACM
Series: Proceedings of the 35th International Conference on Computer-Aided Design 2016; article
Media group: ARTICLE
Cover von CAAD futures 93

CAAD futures 93
proceedings of the fifth international conference on computer-aided architectural design futures ; Pittsburgh, PA, USA, 7 - 10 July 1993
Search for this author
Year: 1993
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Synthesis for regular specifications over unbounded domains

Synthesis for regular specifications over unbounded domains
article pp. 101-109 : FMCAD 2010, Formal Methods in Computer-Aided Design 2010
Author: Hamza, Jad; Jobstmann, Barbara; Kunčak, Viktor Search for this author
Year: 2010
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Prostate Cancer Imaging

Prostate Cancer Imaging
Computer-Aided Diagnosis, Prognosis, and Intervention : International Workshop, Held in Conjunction with MICCAI 2010, Beijing, China, September 24, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6367
Media group: MONOGRAPHIE
OPEN V 11.1.0.0