close
1.

図書
図書
1. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 378 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Sixth International Conference on Symbolic and Logical Computing
edited by Eric Johnson
出版情報: Madison, S.D. (114 Beadle Hall, Dakota State University, Madison 57042-1799) : Dakota State University, 1993  vii, 258 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario (: soft. ; : case. ; : micro.)
edited by Earl Swartzlander Jr., Mary Jane Irwin, Graham Jullien ; sponsored by IEEE Computer Society, IEEE Technical Committee on VLSI
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1993  xii, 284 p. ; 29 cm
所蔵情報: loading…
4.

図書
図書
4. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings (: gw ; : us)
Claude Kirchner (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  xi, 487 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the twenty-fifth Annual ACM Symposium on the Theory of Computing, San Diego, California, May 16-18, 1993
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1993  ix, 812 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 (: paper ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1993  xii, 434 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼