Semantics of Digital Circuits

>> Amazon.co.jp

このページのQRコード

Semantics of Digital Circuits

種類:

電子ブック

責任表示:

by Carlos Delgado Kloos

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1987

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 285

ISBN:

9783540480129 [3540480129]

ローカル注記:

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

オンライン

http://dx.doi.org/10.1007/3-540-18540-2

所蔵情報

子書誌情報

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

詳細

主題:	Electronics and Microelectronics, Instrumentation; Engineering; Logic Design; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques
分類・件名:	LCSH : Engineering LCSH : Logic design LCSH : Computer science LCSH : Electronics FREE : Engineering FREE : Electronics and Microelectronics, Instrumentation FREE : Logic Design FREE : Programming Languages, Compilers, Interpreters FREE : Logics and Meanings of Programs FREE : Programming Techniques
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005870

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Semantics of Digital Circuits Delgado Kloos, Carlos., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets Taubner, Dirk A., SpringerLink (Online service) Springer-Verlag
2 電子ブック Semantics: Foundations and Applications : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service) Springer-Verlag	8 電子ブック Combinatorics on Traces Diekert, Volker, SpringerLink (Online service) Springer-Verlag
3 電子ブック Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 … Camurati, Paolo E., Eveking, Hans, SpringerLink (Online service) Springer-Verlag	9 電子ブック ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings Jones, Neil, SpringerLink (Online service) Springer-Verlag
4 電子ブック Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings Baler, Henry G., SpringerLink (Online service) Springer-Verlag	10 電子ブック Algebraic Specification Techniques in Object Oriented Programming Environments Breu, Ruth, SpringerLink (Online service) Springer-Verlag
5 電子ブック Exploitation of Fine-Grain Parallelism Böckle, Günter, SpringerLink (Online service) Springer-Verlag	11 電子ブック Functional Programming Languages and Computer Architecture : 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings Hughes, John, SpringerLink (Online service) Springer-Verlag
6 電子ブック Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings Gutknecht, Jürg, SpringerLink (Online service) Springer-Verlag	12 電子ブック CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings Best, Eike, SpringerLink (Online service) Springer-Verlag