Preface of the special issue on the conference on computer-aided verification 2018

Formal Methods in System Design ◽

10.1007/s10703-021-00365-5 ◽

2021 ◽

Author(s):

Hana Chockler ◽

Georg Weissenbacher

Keyword(s):

Special Issue ◽

Download Full-text

Special issue on. Computer-aided design for electronics

IEE Proceedings G (Electronic Circuits and Systems) ◽

10.1049/ip-g-1.1980.0043 ◽

1980 ◽

Vol 127 (6) ◽

pp. 253

Author(s):

Robert Spence

Keyword(s):

Computer Aided Design ◽

Special Issue ◽

Computer Aided ◽

Download Full-text

Computer Aided Surgery for Neurosurgical Operation(Medicine with Multimedia Technology(2))

JAPANES JOURNAL OF MEDICAL INSTRUMENTATION ◽

10.4286/ikakikaigaku.65.7_322 ◽

1995 ◽

Vol 65 (7) ◽

pp. 322-327

Author(s):

H.etal ISEKI

Keyword(s):

Multimedia Technology ◽

Special Issue ◽

Computer Aided Surgery ◽

Computer Aided ◽

Neurosurgical Operation

Download Full-text

Special issue: Artificial intelligence in computer-aided design: Progress and prognosis

Computer-Aided Design ◽

10.1016/0010-4485(96)86821-7 ◽

1996 ◽

Vol 28 (3) ◽

pp. 153-154 ◽

Author(s):

John S Gero

Keyword(s):

Artificial Intelligence ◽

Computer Aided Design ◽

Special Issue ◽

Computer Aided ◽

Download Full-text

Special issue on: Computer-aided maintenance technology

Computers & Industrial Engineering ◽

10.1016/0360-8352(94)90017-5 ◽

1994 ◽

Vol 26 (4) ◽

pp. II

Keyword(s):

Special Issue ◽

Download Full-text

Call for Papers: Special issue proposal for the journal of ‘Computer-Aided Design’ on ‘applications in ship and floating structure design and analysis’

Computer-Aided Design ◽

10.1016/s0010-4485(09)00227-9 ◽

2009 ◽

Vol 41 (10) ◽

pp. IV-VI

Keyword(s):

Computer Aided Design ◽

Structure Design ◽

Special Issue ◽

Floating Structure ◽

Computer Aided ◽

Download Full-text

Special issue on computer-aided ergonomics

Computers in Industry ◽

10.1016/0166-3615(94)90050-7 ◽

1994 ◽

Vol 25 (2) ◽

pp. 217

Keyword(s):

Special Issue ◽

Download Full-text

Editorial: Special Issue on The 14th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics 2015)

Integration ◽

10.1016/j.vlsi.2016.09.002 ◽

2016 ◽

Vol 55 ◽

pp. 425

Author(s):

Xin Li ◽

Sheldon X.-D. Tan ◽

Yu Wang

Keyword(s):

Computer Graphics ◽

Computer Aided Design ◽

Special Issue ◽

International Conference ◽

Editorial Special Issue ◽

Computer Aided ◽

Download Full-text

Special Issue: Advances in Computer Aided Manufacturing

Journal of Computing and Information Science in Engineering ◽

10.1115/1.2773700 ◽

2007 ◽

Vol 7 (3) ◽

pp. 185-185

Author(s):

Jonathan Corney ◽

S. K. Gupta

Keyword(s):

Special Issue ◽

Computer Aided Manufacturing ◽

Download Full-text

Computer Aided Design and Manufacturing of Machine Parts(The Integrated Design and Manufacturing System)

Journal of the Society of Mechanical Engineers ◽

10.1299/jsmemag.79.692_660 ◽

1976 ◽

Vol 79 (692) ◽

pp. 660-665

Author(s):

Yoshihiro HYODO

Keyword(s):

Computer Aided Design ◽

Manufacturing System ◽

Integrated Design ◽

Special Issue ◽

Computer Aided ◽

Design And Manufacturing ◽

Machine Parts ◽

Download Full-text

Special Issue— Computer Aided Optimal Design: Structural and Mechanical Systems

Engineering Optimization ◽

10.1080/03052158708941030 ◽

1987 ◽

Vol 11 (1-2) ◽

pp. 1-2

Author(s):

Carlos A. Mota Soares ◽

Andrew B. Templeman

Keyword(s):

Optimal Design ◽

Mechanical Systems ◽

Special Issue ◽

Download Full-text