Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980

>> Amazon.co.jp

このページのQRコード

Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980

種類:

図書

責任表示:

edited by J. Encarnacao

出版情報:

Berlin : Springer-Verlag, 1980

著者名:

シリーズ名:

Lecture notes in computer science ; 89 <BA00009279>

ISBN:

9783540102427 [3540102426] (: gw)

9780387102429 [0387102426] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer-aided design--Congresses; Engineering design--Data processing--Congresses
分類・件名:	LCC : TA174 DDC : 620/.00425/02854 LCSH : Engineering design -- Data processing -- Congresses LCSH : Computer-aided design -- Congresses
LCCN:	80023473
TTLL:	eng
言語:	英語
形態:	xiv, 459 p. : ill. ; 25 cm
書誌ID:	BA02898844

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Computer Aided Design Modelling, Systems Engineering, CAD-Systems : CREST Advanced Course Darmstadt, 8.–19. September 1980 Encarnacao, Jose, SpringerLink (Online service) Springer-Verlag	7 図書 Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD '98, Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer
2 電子ブック Computer Aided Design Modelling, Systems Engineering, CAD-Systems : CREST Advanced Course, Darmstadt, 8. - 19. September 1980 Encarnacao, J., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter) Springer
3 図書 Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran … International Workshop on Computer Aided Systems Theory, Moreno, Roberto Diaz, Buchberger, Bruno, Freire, Jose-Luis Springer	9 図書 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, … Advanced Research Working Conference on Correct Hardware Design Methodologies, Margarita, Tiziana, Melham, T. F. (Tom … Springer
4 図書 Computer aided design in civil engineering : proceedings of a symposium Kostem, Celal N., Shephard, M. S. (Mark S.), American Society of Civil Engineers. Technical Council on Computer … The Society	10 雑誌 Computer aided design : CAD Heywood-Temple Industrial Pub.
5 図書 Computer aided systems theory--EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, … International Workshop EUROCAST, Pichler, Franz, Ing., Dr. phil, Moreno-Díaz, Roberto, 1939- Springer-Verlag	11 図書 Fractal geometry and computer graphics Encarnação, José Luis, 1941- Springer-Verlag
6 図書 Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, … International Workshop on Computer Aided Systems Theory, Pichler, Franz, Ing., Dr. phil, Moreno-Díaz, Roberto, 1939-, … Springer-Verlag	12 図書 Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer … American Mathematical Society, Association for Computing Machinery