close
1.

図書

図書
上田秀樹著
出版情報: 東京 : 工業調査会, 2000.4  253p ; 19cm
所蔵情報: loading…
2.

図書

図書
Mitchell P. Marcus
出版情報: Englewood Cliffs ; London : Prentice-Hall, 1962  xiv, 296 p. ; 24 cm
シリーズ名: Prentice-Hall electrical engineering series
所蔵情報: loading…
3.

図書

図書
Daniel S. Babb
出版情報: Englewood Cliffs : Prentice-Hall , Tokyo : Maruzen, c1964  xix, 379 p. ; 22 cm
所蔵情報: loading…
4.

図書

図書
by Herbert J. Reich
出版情報: Princeton : Van Nostrand, c1961  xix, 466 p. ; 23 cm
シリーズ名: The Van Nostrand series in electronics and communications
所蔵情報: loading…
5.

図書

図書
Graham J. Scoles
出版情報: Chichester : Ellis Horwood, 1975  xiv, 370 p. ; 24 cm
所蔵情報: loading…
6.

図書

図書
written by a team of contributors from the Department of Electronics, University of Southampton, and edited by E.E. Zepler and S.W. Punnett
出版情報: London : Blackie, 1963  vi, 212 p. ; 22 cm
シリーズ名: Electronic user series
所蔵情報: loading…
7.

図書

図書
Mohammed Shuaib Ghausi
出版情報: New York : McGraw-Hill, c1965  xv, 621 p. ; 25 cm
シリーズ名: McGraw-Hill electrical and electronic engineering series
所蔵情報: loading…
8.

図書

図書
Jacob Millman, Christos C. Halkias
出版情報: New York : McGraw-Hill , Tokyo : Kōgakusha, c1967  xv, 752 p. ; 24 cm
シリーズ名: McGraw-Hill electrical and electronic engineering series
所蔵情報: loading…
9.

図書

図書
Tildon H. Glisson
出版情報: Berlin : [Dordrecht], c2011  xv, 768 p. ; 27 cm
所蔵情報: loading…
10.

図書

図書
V. Stavridou
出版情報: Cambridge : Cambridge University Press, 1993  xiii, 193 p. ; 26 cm
シリーズ名: Cambridge tracts in theoretical computer science ; 37
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Requirements / 2:
Case studies / 3:
The term rewriting approach / 4:
OBJ3 as a hardware specification language / 5:
Theorem proving with OBJ3 / 6:
OBJ3 case studies / 7:
Conclusions / 8:
Appendix
Bibliography
Index
Introduction / 1:
Requirements / 2:
Case studies / 3:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼