| 1 |  | Computer aided analysis and design of concrete structures : proceedings of SCI-C 1990, second international conference held in Zell am See, Austria, 4th-6th April 1990. v. 1 , v. 2 | 中央図書館 | edited by N. Bićanić, Herbert Mang. | Pineridge Press | 1990 | 中央５階洋 511.7||C 85||1
中央５階洋 511.7||C 85||2 |
| 2 | | Computer aided design in civil engineering : proceedings of a symposium : pbk. | 中央図書館 | sponsored by the Technical Council on Computer Practices of the American Society of Civil Engineers in conjunction with the ASCE National Convention in San Francisco, California, October 3-4, 1984, Celal N. Kostem and Mark S. Shephard, editors | The Society | 1984 | 中央５階洋 510||C 85 |
| 3 | | Computer aided design in composite material technology III Computational Mechanics Publications, Southampton , Computational Mechanics Publications, Boston , Elsevier Applied Science, London, New York | 中央図書館 | editors, S.G. Advani ... [et al.]. | Computational Mechanics Publications, Elsevier Applied Science | 1992 | 中央５階洋 501.4||C 85||3 |
| 4 | | Computer aided design in composite material technology IV Southampton , Boston | 中央図書館 | editors, W.R. Blain, W.P. De Wilde. | Computational Mechanics Publications | 1994 | 中央５階洋 501.4||C 85 |
| 5 | | Computer aided design in control systems 1988 : selected papers from the 4th IFAC Symposium, Beijing, PRC, 23-25 August 1988 ( IFAC proceedings series ; 1989, no. 7 ) | 中央図書館 | edited by Chen Zhen-Yu. | Published for the International Federation of Automatic Control by Pergamon Press | 1989 | 中央５階洋 501.9||I 21||'89-7 |
| 6 | | Computer aided design in control systems : selected papers from the IFAC symposium, Swansea, UK, 15-17 July 1991 ( IFAC symposia series ; 1992, no. 1 ) | 中央図書館 | edited by H.A. Barker. | Published for the International Federation of Automatic Control by Pergamon Press | 1992 | 中央５階洋 501.9||I 21||'92-1 |
| 7 | | Computer aided design of digital electronic circuits and systems : proceedings of a symposium, Brussels, November 1978 | 中央図書館 | edited by Gerald Musgrave, organized by the Commission of the European Communities, Directorate-General for Internal Market and Industrial Affairs | Published by North-Holland for the Commission of the European Communities, Directorate-General for Scientific and Technical Information and Information Management, sole distributors for the U.S.A. and Canada, Elsevier North-Holland | 1979 | 中央５階洋 549.1||C 85 |
| 8 | | Computer aided optimum design of structures : optimization of structural systems and applications. III - Elsevier Applied Science | 中央図書館 | editors, S. Hernandez & C.A. Brebbia. | Computational Mechanics Publications, Elsevier Applied Science | 1993 | 中央５階洋 501.8||C 85||3 |
| 9 | | Computer-aided verification : proceedings Berlin : alk. paper , N.Y. : alk. paper ( Lecture notes in computer science ; 531 ) | 中央図書館 | 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, E.M. Clarke, R.P. Kurshan (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||531 |
| 10 | | Computer applications in design and manufacturing pbk. | 中央図書館 | [International Off-Highway & Powerplant Congress & Exposition, Milwaukee, Wisconsin, September 14-17, 1987]. | Society of Automotive Engineers | 1987 | 中央５階洋 537.11||C 85 |