close
1.

図書

図書
co-sponsored by IEEE Computer Society, National Bureau of Standards, ACM SIGSOFT
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xi, 395 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society, University of Texas at Austin
出版情報: Silver Spring, Md. (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, c1983  viii, 221 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by D. Bjørner ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 422 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 252
所蔵情報: loading…
4.

図書

図書
edited by Jozef K. Skwirzynski
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 747 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 22
所蔵情報: loading…
5.

図書

図書
R. Bloomfield, L. Marshall, R. Jones (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 499 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 328
所蔵情報: loading…
6.

図書

図書
co-sponsored by IEEE Computer Society [and] Association for Computing Machinery
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  vii, 257 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
8.

図書

図書
International Joint Conference on Theory and Practice of Software Development ; Díaz, Josep, 1950- ; Orejas, Fernando ; Advanced Seminar on Foundations of Innovative Software Development ; Colloquium on Trees in Algebra and Programming
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 383 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 351 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
Concurrency.
Foundations.
From the Contents: Programming Language Concepts.
Language Implementation.
Programming Paradigms.
Software Development.
From the Contents: Algorithms.
Proving Techniques.
Algebraic Specifications.
9.

図書

図書
J. Díaz, F. Orejas (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 389 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 352 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 2
所蔵情報: loading…
目次情報:
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
Progamming Language Concepts, Language Implementation, Programming Paradigms, Software Development
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼