close
1.

図書
図書
1. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us)
D.H. Pitt ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  301 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 530
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms (: ACM ; : SIAM)
ACM-SIAM Symposium on Discrete Algorithms ; Association for Computing Machinery ; Society for Industrial and Applied Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1991  482 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : 10th IEEE Symposium on Computer Arithmetic, June 26-28, 1991 , Grenoble, France
sponsored by IEEE Computer Society, Technical Committee on VLSI, in cooperation with Centre National de la Recherche Scientifique (CNRS), Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG) ; edited by Peter Kornerup, David W. Matula
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1991  xiii, 282 p. ; 29 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing : New Orleans, Louisiana, May 6-8, 1991
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1991  vii, 573 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings : Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, the Netherlands (: paper ; : case ; : microfiche)
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 417 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vii, 458 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…
7.

図書
図書
7. Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990
edited by Juan Quemada, Jose Mañas, Enrique Vázquez
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y. : Distributors for the US and Canada, Elsevier Science Pub. Co., 1991  xvii, 584 p. ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Fifth 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, 1991  viii, 331 p. ; 23 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼