Proceedings, Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India

>> Google Books

所蔵情報QRコード

Proceedings, Tenth International Conference on VLSI Design : January 4-7, 1997, Hyderabad, India / sponsored by VLSI Society of India, Department of Electronics, Government of India ; in cooperation with IEEE ... [et al.]

資料種別:

図書

出版情報:

Los Alamitos, Calif. : IEEE Computer Society Press, c1997

形態:

xxxvii, 566 p. ; 28 cm

著者名:

ISBN:

9780818677557 [0818677554]
9780818677571 [0818677570]

書誌ID:

BA42855483

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:	97TB100095 10th International Conference on VLSI Design
注記:	Includes bibliographical references and index "IEEE Computer Society Press order number PR07755"--T.p. verso "IEEE Order Plan number 97TB100095--T.p. verso
主題:	Computer software--Verification--Congresses; Integrated circuits--Verification--Congresses; Integrated circuits--Very large scale integration--Design and construction--Congresses; Multimedia systems--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957- Springer	7 図書 VLSI : systems on a chip : IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Silveira, Luis Miguel, Devadas, Srinivas, … Kluwer Academic Publishers
2 図書 Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain Springer	8 図書 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, Margaria, Tiziana, Melham, T. F. (Tom F.) Springer
3 図書 Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings CAV (Conference), Hunt, Warren A., 1958-, Somenzi, Fabio Springer	9 図書 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
4 図書 Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings CAV (Conference), Alur, Rajeev, Peled, Doron A. Springer	10 図書 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
5 図書 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	11 図書 Design methodologies for VLSI and computer architecture : proceedings of the IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer … IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer Architecture, Edwards, D. A. (Doug A.), IFIP … North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
6 図書 Tenth Annual IEEE International High-Level Design Validation and Test Workshop : November 30 - December 2, 2005, Napa Valley, California : proceedings (: pbk) IEEE International High-Level Design Validation and Test Workshop, IEEE Computer Society. Test Technology Technical … IEEE Computer Society	12 図書 Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings CAV (Conference), Grumberg, Orna Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12