close
1.

図書
図書
1. Formal methods in circuit design
V. Stavridou
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Cambridge tracts in theoretical computer science ; 37
所蔵情報: loading…
2.

図書
図書
2. Specification and proof in real-time CSP
Jim Davies
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Distinguished dissertations in computer science
所蔵情報: loading…
3.

図書
図書
3. Efficient algorithms for listing combinatorial structures
Leslie Ann Goldberg
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Distinguished dissertations in computer science
所蔵情報: loading…
4.

図書
図書
4. Higher order logic and hardware verification
T. Melham
出版情報: Cambridge : Cambridge University Press, 1993
シリーズ名: Cambridge tracts in theoretical computer science ; 31
所蔵情報: loading…
5.

図書
図書
5. Interdisciplinary approaches to nonlinear complex systems (: gw ; : us)
H. Haken, A. Mikhailov (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
所蔵情報: loading…
6.

図書
図書
6. Properties of aluminium gallium arsenide
edited by Sadao Adachi
出版情報: London : INSPEC, Institution of Electrical Engineers, c1993
シリーズ名: EMIS datareviews series ; no. 7
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 34th Annual Symposium on Foundations of Computer Science, November 3-5, 1993, Palo Alto, California (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'93, Copenhagen, Denmark, June 14-16, 1993
sponsored by the ACM Special Interest Group SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, 1993
所蔵情報: loading…
9.

図書
図書
9. ACM multimedia 93 : proceedings, Anaheim, California, August 1-6, 1993 (: Addison-Wesley ; : ACM)
sponsored by the ACM Special Interest Groups SIGBIO, SIGCHI, SIGCOMM, SIGGRAPH, SIGIR, SIGLINK, and SIGOIS
出版情報: Reading, Mass. : Addison-Wesley, c1993
所蔵情報: loading…
10.

図書
図書
10. Spectroscopy and dynamics
editor, Michael A. Duncan
出版情報: Greenwich, Conn. : JAI Press, 1993
シリーズ名: Advances in metal and semiconductor clusters ; v. 1
所蔵情報: loading…