Hardware/software co-design | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Hardware/software co-design / edited by Giovanni de Micheli and Mariagiovanna Sami

資料種別:

図書

出版情報:

Dordrecht : Kluwer Academic, c1996

形態:

vii, 467 p. ; 25 cm

シリーズ名:

NATO ASI series ; Series E, Applied sciences ; 310 <BA00020624>

著者名:

ISBN:

9780792338826 [0792338820]
9780792338833 [0792338839] (: pbk)

書誌ID:

BA27907606

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"Proceedings of the NATO Advanced Study Institute on Hardware/Software Co-design, Tremezzo, Italy, June 19-30, 1995"--T.p. verso "Published in cooperation with NATO Scientific Affairs Division." Includes bibliographical references and index
主題:	Computer-aided design; Digital electronics; System design
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer	7 図書 Software and hardware interfaces International Conference on Human-Computer Interaction, Smith, Michael J. (Michael James), 1945-, Salvendy, Gavriel, … Elsevier Science
2 図書 Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer	8 図書 Computer-aided specification techniques (: pbk) Demetrovics, János, Knuth, Előd, 1943-, Radó, Péter World Scientific
3 図書 Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer	9 図書 Advanced computer design Iliffe, J. K. Prentice-Hall International
4 図書 Synthesis and optimization of digital circuits De Micheli, G. McGraw-Hill	10 図書 Computer aided design : fundamentals and system architectures (us ; gw) Encarnação, José Luis, 1941-, Schlechtendahl, E. G. (Ernst G.), 1938- Springer-Verlag
5 図書 Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer	11 図書 Computer aided design : fundamentals and system architectures (: us ; : gw) Encarnação, José Luis, 1941-, Lindner, Rolf, Schlechtendahl, E. G. (Ernst G.), 1938- Springer-Verlag
6 図書 Formal verification of hardware design Yoeli, Michael IEEE Computer Society Press	12 図書 An expert systems approach to computer-aided design of multivariable systems Pang, G. K. H. (Grantham K. H.), MacFarlane, A. G. J. (Alistair George James), 1931- Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12