close
1.

図書
図書
1. 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  255 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
2.

図書
図書
2. 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  vii, 341 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 83
所蔵情報: loading…
3.

図書
図書
3. Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings (: gw ; : us)
edited by D. Bjørner
出版情報: Berlin ; New York : Springer-Verlag, 1980  xi, 566 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 86
所蔵情報: loading…
4.

図書
図書
4. Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Los Angeles, California, April 28-30, 1980
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of California, Los Angeles, California
出版情報: New York, N.Y. : ACM, c1980  447 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 (: gw ; : us)
edited by P. Dembiński
出版情報: Berlin ; New York : Springer-Verlag, 1980  viii, 723 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 88
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼