Proceedings, 9th International Symposium on System Synthesis, La Jolla, California, November 6-8, 1996 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Proceedings, 9th International Symposium on System Synthesis, La Jolla, California, November 6-8, 1996 / co-sponsored by IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP Workgroup 10.5 ; corporate support from Quickturn Design Systems, Inc.

資料種別:

図書

出版情報:

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

形態:

xii, 145 p. ; 28 cm

著者名:

ISBN:

9780818675638 [0818675632] (: IEEE)

書誌ID:

BA42198702

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	96TB100061
ISSN:	10801820
注記:	Includes bibliographical references and index "IEEE catalog number 96TB100061"--T.p. verso
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 1994 IEEE/ACM International Conference on Computer-Aided Design, November 6-10, 1994, San Jose, California : digest of technical papers (: ACM : pbk. ; : IEEE : microfiche ; : IEEE : case) IEEE/ACM International Conference on Computer-Aided Design, IEEE Circuits and Systems Society, IEEE Computer Society, … IEEE Computer Society Press	7 電子ブック Proceedings of the 9th international symposium on System synthesis Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for … ACM Digital Library Proceedings, IEEE
2 図書 1989 IEEE International Conference on Computer-Aided Design, November 5-9, 1989, Convention Center, Santa Clara, California : digest of technical papers (: paper ; : case) IEEE International Conference on Computer-Aided Design, IEEE Computer Society, IEEE Circuits and Systems Society, IEEE … IEEE Computer Society Press	8 電子ブック Proceedings of the 9th international symposium on System synthesis Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for … IEEE Electronic Library (IEL) Conference Proceedings, IEEE
3 図書 IEEE/ACM International Conference on Computer-Aided Design ICCAD-92, a conference for the EE CAD professional, November 8-12, 1992, Convention Center, Santa … (: pbk - : ACM library series) IEEE/ACM International Conference on Computer-Aided Design, IEEE Circuits and Systems Society, IEEE Computer Society, … IEEE Computer Society Press	9 図書 Conference record of FPCA '95 : SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, La Jolla, California, 25-28 … Conference on Functional Programming Languages and Computer Architecture, ACM Special Interest Group in Programming … ACM Press
4 図書 1993 IEEE/ACM International Conference on Computer-Aided Design, November 7-11, 1993, Santa Clara, California : digest of technical papers (: pbk ; : microfiche ; : case) IEEE/ACM International Conference on Computer-Aided Design, IEEE Circuits and Systems Society, IEEE Computer Society, … IEEE Computer Society Press	10 図書 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.
5 図書 IEEE International Conference on Computer-Aided Design, ICCAD-90, November 11-15, Convention Center, Santa Clara, California : digest of technical papers (: pbk. ; : case ; : microfiche) IEEE International Conference on Computer-Aided Design, IEEE Circuits and Systems Society, IEEE Computer Society. Design … IEEE Computer Society Press	11 図書 Distributed and parallel embedded systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5-6, … IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems, Rammig, F. J. Kluwer Academic
6 図書 Optimization of manufacturing systems design : proceedings of the IFIP WG 5.3 International Conference on Modeling and Simulation for Optimization of … IFIP WG 5.3 International Conference on Modeling and Simulation for Optimization of Manufacturing Systems Design and … North Holland : Distributors for the United States and Canada, Elsevier Science	12 図書 Proceedings of ISPD '03 : 2003 International Symposium on Physical Design, Doubletree Hotel, Monterey, California, USA, April 6-9, 2003 International Symposium on Physical Design, ACM Special Interest Group on Design Automation, Institute of Electrical and … Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12