Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

>> Amazon.co.jp

このページのQRコード

Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

種類:

電子ブック

責任表示:

edited by Miriam Leeser, Geoffrey Brown

出版情報:

New York, NY : Springer-Verlag, 1990

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 408

ISBN:

9780387348018 [0387348018]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/0-387-97226-9

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Algebra; Arithmetic and Logic Structures; Computation by Abstract Devices; Computer Science; Control Structures and Microprogramming; Electronics and Microelectronics, Instrumentation; Logic Design
分類・件名:	LCSH : Computer science LCSH : Microprogramming LCSH : Logic design LCSH : Algebra LCSH : Electronics FREE : Computer Science FREE : Control Structures and Microprogramming FREE : Arithmetic and Logic Structures FREE : Logic Design FREE : Electronics and Microelectronics, Instrumentation FREE : Computation by Abstract Devices FREE : Algebra
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006056

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. … Leeser, Miriam., Brown, Geoffrey., SpringerLink (Online service) Springer New York : Imprint: Springer	7 電子ブック The Complexity of Simple Computer Architectures Müller, Silvia M., Paul, Wolfgang J., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 図書 Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, … Cornell University. Mathematical Sciences Institute. Workshop, Leeser, M. (Miriam), 1958-, Brown, G. (Geoffrey), 1960-, … Springer-Verlag	8 電子ブック Exploitation of Fine-Grain Parallelism Böckle, Günter, SpringerLink (Online service) Springer-Verlag
3 電子ブック Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings Milne, George J., Pierre, Laurence, SpringerLink (Online service) Springer-Verlag	9 電子ブック STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings Enjalbert, P., Finkel, A., Wagner, K. W., SpringerLink (Online service) Springer-Verlag
4 電子ブック The Complexity of Simple Computer Architectures Müller, Silvia M., Paul, Wolfgang J., SpringerLink (Online service) Springer-Verlag	10 電子ブック Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings Meyer, F., Monien, B., Rosenberg, A. L., SpringerLink (Online service) Springer-Verlag
5 電子ブック FM8501: A Verified Microprocessor Hunt, Warren A., SpringerLink (Online service) Springer-Verlag	11 電子ブック Languages and Compilers for Parallel Computing : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings Banerjee, Utpal, Gelernter, David, Nicolau, Alex, Padua, David, SpringerLink (Online service) Springer-Verlag
6 電子ブック Languages and Compilers for Parallel Computing : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings Pingali, Keshav, Banerjee, Utpal, Gelernter, David, Nicolau, Alex, Padua, David, SpringerLink (Online service) Springer-Verlag	12 電子ブック Languages and Compilers for Parallel Computing : 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings Banerjee, Utpal, Gelernter, David, Nicolau, Alex, Padua, David, SpringerLink (Online service) Springer-Verlag