Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993 | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993 / sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC ; edited by David Agnew, Luc Claesen, Raul Camposano

資料種別:

図書

出版情報:

Amsterdam : North-Holland, 1993

形態:

xiv, 604 p. ; 23 cm

シリーズ名:

IFIP transactions ; A . Computer science and technology ; 32 <BA13962399>

著者名:

ISBN:

9780444816412 [0444816410]

書誌ID:

BA20870563

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Computer hardware description languages--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 図書 Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description … IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications, Borrione, … North-Holland	7 図書 Formal VLSI correctness verification : 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 in the U.S. and Canada, Elsevier Science Pub. Co.
2 図書 Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description … IFIP WG 10.2 International Symposium on Computer Hardware Description Languages and Their Applications, Darringer, John … North-Holland : Distributors for the U.S. and Canada, Elsevier Science Pub. Co.	8 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings (: gw ; : us) Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence Springer-Verlag
3 図書 Proceedings of the 4th International Symposium on Computer Hardware Description Languages, Palo Alto, California, October 8-9, 1979 International Symposium on Computer Hardware Description Languages and Their Applications, VanCleemput, W. M. (William … IEEE Computer Society, Institute of Electrical and Electronics Engineers	9 電子ブック Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings Milne, George J., Pierre, Laurence., SpringerLink (Online service) Springer Berlin Heidelberg
4 図書 Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : proceedings of the … Delgado Kloos, Carlos, Cerny, Eduard, International Federation for Information Processing Chapman & Hall, 1997	10 図書 Proceedings of the ASP-DAC'95/CHDL'95/VLSI'95 : Asia and South Pacific Design Automation Conference, IFIP International Conference on Computer Hardware … (: softbound ; : microfiche) Asia and South Pacific Design Automation Conference, International Symposium on Computer Hardware Description Languages … [ASP-DAC'95/CHDL'95/VLSI'95 Steering Committee]
5 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland	11 電子ブック Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages. IFIP … IEEE Electronic Library (IEL) Conference Proceedings, IEEE
6 図書 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.	12 図書 Graphics, design, and visualization : proceedings of the IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics--ICCG93, Bombay, India, 24-26 … IFIP TC5/WG5.2/WG5.10 CSI International Conference on Computer Graphics--ICCG93, Mudur, S. P., Pattanaik, S. N., 1959- North-Holland

1

2

3

4

5

6

7

8

9

10

11

12