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. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 379 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
目次情報: 続きを見る
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
3.

図書
図書
3. Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
edited by Veronica Dahl and Patrick Saint-Dizier
出版情報: Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 243 p. ; 23 cm.
シリーズ名: Natural language understanding and logic programming ; [1]
所蔵情報: loading…
4.

図書
図書
4. Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January 26-28, 1981 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore : ACM, c1981  230 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. 1988 International Conference on Computer Languages : proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida (: pbk. ; : case ; : microfiche)
sponsored by the Computer Society, Computer Languages Technical Committee
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  xv, 446 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼