1.

図書
図書
1. Proceedings of the 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
所蔵情報: loading…
2.

図書
図書
2. 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
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings (: gw ; : us)
edited by Eiichi Goto ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 147
所蔵情報: loading…
5.

図書
図書
5. Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 (: gw ; : us)
herausgegeben im Auftrag der GI von W. Händler und P.P. Spies
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 13
所蔵情報: loading…
6.

図書
図書
6. Algorithms and complexity : new directions and recent results
edited by J.F. Traub
出版情報: New York : Academic Press, c1976
所蔵情報: loading…
7.

図書
図書
7. Language hierarchies and interfaces : international summer school (: gw ; : us)
F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in computer science ; 46
所蔵情報: loading…
8.

図書
図書
8. ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 (: gw ; : us)
edited by K. Samelson
出版情報: Berlin ; New York : Springer-Verlag, 1976
シリーズ名: Lecture notes in computer science ; 44
所蔵情報: loading…
9.

図書
図書
9. Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 (: gw ; : us)
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
10.

図書
図書
10. International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (: gw ; : us)
edited by B. Robinet
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 83
所蔵情報: loading…