Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

>> Google Books

所蔵情報QRコード

Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 / edited by John S. Gero and Fay Sudweeks (associate editor)

資料種別:

図書

出版情報:

London : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996

形態:

vi,298p ; 24cm

著者名:

ISBN:

9780412727108 [0412727102]

書誌ID:

BA27971026

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes index
主題:	Computer-aided design--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994 IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Gero, John S. (John Steven), 1943-, Tyugu, Ė. Kh. (Ėnn … Elsevier	7 図書 Artificial intelligence in design '94 Gero, John S. (John Steven), 1943-, Sudweeks, Fay, International Conference on Artificial Intelligence in Design Kluwer Academic
2 図書 Expert systems in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney (Jenolan Caves), … IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Gero, John S. (John Steven), 1943- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	8 図書 Knowledge engineering in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Design, Budapest, … IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Design, Gero, John S. (John Steven), 1943- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
3 図書 Optimization in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Optimization of Computer-Aided Design, Lyon, France, 24-26 October, … IFIP WG 5.2 Working Conference on Optimization in Computer-Aided Design, Gero, John S. (John Steven), 1943-, IFIP WG 5.2 North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	9 図書 Intelligent CAD, III : selected and reviewed papers and reports from the IFIP TC/WG5.2 Third International Workshop on Computer Aided Design, Osaka, Japan, … IFIP TC5/WG5.2 International Workshop on Computer Aided Design, 吉川, 弘之(1933-), Arbab, F. (Farhad) North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
4 図書 Artificial intelligence in design '96 Gero, John S. (John Steven), 1943-, Sudweeks, Fay Kluwer Academic Publishers	10 図書 Intelligent computer aided design : proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 … IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design, Brown, David C., 1947-, Waldron, M. B., 吉川, … North-Holland
5 図書 Artificial intelligence in design '98 International Conference on Artificial Intelligence in Design, Sudweeks, Fay, Gero, John S. (John Steven), 1943- Kluwer Academic	11 図書 Product modeling for computer integrated design and manufacture : TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design, 19-23 May, … TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design, Wozny, M. J. (...Michael J...), Sriram, … Chapman & Hall on behalf of the International Federation for Information Processing
6 図書 Artificial intelligence in design '92 Gero, John S. (John Steven), 1943-, Sudweeks, Fay, International Conference on Artificial Intelligence in Design Kluwer Academic Publishers	12 図書 Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co.

1

2

3

4

5

6

7

8

9

10

11

12