close
1.

図書
図書
1. Proceedings of the fifth annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group for Automata and Computability Theory ; SIAM Activity Group on Discrete Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1994  735 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994
edited by Ernst-Rüdiger Olderog
出版情報: Amsterdam ; New York : Elsevier, 1994  x, 592 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 56
所蔵情報: loading…
3.

図書
図書
3. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Donald Sannella, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 788
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.)
sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xi, 305 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the twenty-sixth Annual ACM Symposium on the Theory of Computing, Montréal, Québec, Canada, May 23-25, 1994
sponsored by the ACM Special Interest Group Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1994  ix, 822 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1994  xii, 517 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us)
Baudouin Le Charlier (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xii, 463 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 864
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼