著者典拠情報

標目形:
Colloquium on Trees in Algebra and Programming
属性:
Meeting
場所:
L'Aquila;Bordeaux;Berlin;Nice;Pisa;Nancy;Genoa;Barcelona;Copenhagen;Brighton;Rennes;Edinburgh;Aarhus
日付:
1983;1984;1985;1986;1987;1988;1981;1989;1990;1991;1992;1994;1995
から見よ参照形:
CAAP
注記:
Its Mathematical foundations of software development, 1985: CIP t.p. (Colloquium on Trees in Algebra and Programming (CAAP '85))
Its (6th : 1981 : Genoa) CAAP '81, 1981
Its (8th : 1983 : L'aquila, Italy) CAAP '83, c1983
Ist (9th : 1984 : Bordeaux)
Its (11th : March 24-26, 1986 : Nice) CAAP '86, c1986
Its (12th : March 23-27, 1987 : Pisa) TAPSOFT '87, c1987
Its (1985 : Berlin)
Its (13th : March 21-24, 1988 : Nancy, France) CAAP '88, c1988
Its (14th : March 13-17, 1989 : Barcelona) TAPSOFT '89, c1989
Its (15th : May 15-18, 1990 : Copenhagen) CAAP '90, c1990
Its (16th : 1991 : Brighton) CAAP '91, c1991
Its (17th : Feb. 26-28, 1992 : Rennes, France) CAAP '92, c1992
Its (19th : April 11-13, 1994 : Edinburgh, UK) CAAP '94, c1994
Its (1995 : Aarhus, Denmark)
著者典拠ID:
DA00018389


 close
1.

図書

図書
Hélène Kirchner, (ed.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1059
所蔵情報: loading…
2.

図書

図書
Sophie Tison, ed
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 787
所蔵情報: loading…
3.

図書

図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
4.

図書

図書
J.-C. Raoult (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 581
所蔵情報: loading…
5.

図書

図書
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…
6.

図書

図書
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…
7.

図書

図書
A. Arnold (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 431
所蔵情報: 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
シリーズ名: 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…
9.

図書

図書
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
10.

図書

図書
M. Dauchet, M. Nivat (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 299
所蔵情報: loading…
11.

図書

図書
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…
12.

図書

図書
edited by P. Franchi-Zannettacci
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 214
所蔵情報: loading…
13.

図書

図書
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…
14.

図書

図書
edited by G. Ausiello and M. Protasi
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 159
所蔵情報: loading…
15.

図書

図書
edited by E. Astesiano and C. Böhm
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 112
所蔵情報: loading…