Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings / Alan J. Hu, Andrew K. Martin (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2004

形態:

xi, 444 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3312 <BA00009279>

著者名:

ISBN:

9783540237389 [3540237380]

書誌ID:

BA70254878

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 2004 : proceedings
注記:	Includes bibliographies and index
主題:	器械計算．計算器
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Hu, Alan J., Martin, Andrew K., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings Aagaard, Mark D., O'Leary, John W., SpringerLink (Online service) Springer Berlin Heidelberg
2 図書 Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings FMCAD (Conference), Aagaard, Mark D., O'Leary, John W. Springer	8 図書 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings FMCAD (Conference), Srivas, Mandayam, Camilleri, Albert Springer
3 電子ブック Formal Methods in Computer-Aided Design FMCAD 2004, Hu, Alan John, Martin, Andrew K. SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings Gopalakrishnan, Ganesh., Windley, Phillip., SpringerLink (Online service) Springer Berlin Heidelberg
4 図書 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	10 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings Srivas, Mandayam., Camilleri, Albert., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings Hunt, Warren A. Jr., Johnson, Steven D., SpringerLink (Online service) Springer Berlin Heidelberg	11 図書 Energy minimization methods in computer vision and pattern recognition : 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005 : … International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, Rangarajan, Anand, … Springer
6 図書 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD (Conference), Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer	12 図書 Software Reuse : Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings International Conference on Software Reuse, Gacek, Cristina Springer

1

2

3

4

5

6

7

8

9

10

11

12