close
1.

図書
図書
1. Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: loading…
2.

図書
図書
2. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: loading…
3.

図書
図書
3. Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1130
所蔵情報: loading…
4.

図書
図書
4. Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)
V.S. Alagar, Maurice Nivat, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 936
所蔵情報: loading…
5.

図書
図書
5. Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers (: Berlin ; : New York)
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 906
所蔵情報: loading…
6.

図書
図書
6. Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers (: gw ; : us)
Hartmut Ehrig, Fernando Orejas, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 785
所蔵情報: loading…
7.

図書
図書
7. Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 (: us ; : gw)
M. Nivat ... [et al.] (eds.)
出版情報: London : Springer, published in collaboration with the British Computer Society, c1992
シリーズ名: Workshops in computing
所蔵情報: loading…
8.

図書
図書
8. Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings (: gw ; : us)
H. Ehrig ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 534
所蔵情報: loading…
9.

図書
図書
9. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings (: gw ; : us)
K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers (: gw ; : us)
D. Sannella, A. Tarlecki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 332
所蔵情報: loading…