1.

図書
図書
1. Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Ganesh Gopalakrishnan, Phillip Windley, (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1522
所蔵情報: loading…
2.

図書
図書
2. Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
Laurence Pierre, Thomas Kropf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1703
所蔵情報: loading…
3.

図書
図書
3. Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings
Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1918
所蔵情報: loading…
4.

図書
図書
4. Computer Aided Systems Theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers
Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2178
所蔵情報: loading…
5.

図書
図書
5. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
Tiziana Margaria, Tom Melham (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2144
所蔵情報: loading…
6.

図書
図書
6. Theoretical foundations of computer graphics and CAD (: Germany ; : U.S.)
directed by J.E. Bresenham ... [et al.] ; edited by R.A. Earnshaw ; [co-sponsored by BCS TC Computers in Graphics, Design, and Manufacture .. et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 40
所蔵情報: loading…
7.

図書
図書
7. 22nd ACM/IEEE Design Automation Conference, June 23-26, 1985, Caesars Palace, Las Vegas-Nevada : proceedings 1985 (: pbk ; : microfiche ; : casebound)
ACM/IEEE Design Automation Conference ; Institute of Electrical and Electronics Engineers
出版情報: New York : IEEE, c1985
所蔵情報: loading…
8.

図書
図書
8. Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983 (: gw ; : us)
edited by V. Komkov
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1086
所蔵情報: loading…
9.

図書
図書
9. Intelligent CAD systems I : theoretical and methodological aspects (: Berlin ; : New York)
edited by P.J.W. ten Hagen and T. Tomiyama
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Eurographic seminars
所蔵情報: loading…