close
1.

図書
図書
1. Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings (: us ; : gw)
Sophie Tison, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 787
所蔵情報: loading…
2.

図書
図書
2. CAAP '83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, proceedings (: gw ; : us)
edited by G. Ausiello and M. Protasi
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 159
所蔵情報: loading…
3.

図書
図書
3. CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
4.

図書
図書
4. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1
所蔵情報: loading…
5.

図書
図書
5. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) (: gw ; : us)
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
シリーズ名: 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…
6.

図書
図書
6. Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1
所蔵情報: loading…
7.

図書
図書
7. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us)
J.-C. Raoult (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 581
所蔵情報: loading…
8.

図書
図書
8. Colloquium on Trees in Algebra and Programming (CAAP '91) (: gw ; : us)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: 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…
9.

図書
図書
9. 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
シリーズ名: 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…
10.

図書
図書
10. CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings (: gw ; : us)
edited by E. Astesiano and C. Böhm
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 112
所蔵情報: loading…