close
1.

図書
図書
1. TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings (: us)
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xv, 810 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 915
所蔵情報: loading…
2.

図書
図書
2. Colloquium on Trees in Algebra and Programming (CAAP '91) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 455 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: loading…
3.

図書
図書
3. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 482 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: loading…
4.

図書
図書
4. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings (: gw ; : us)
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xii, 761 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼