検索条件
著者情報：Colloquium on Trees in Algebra and Programming
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings U.S. ( Lecture notes in computer science ; 299 ) | 中央図書館 | M. Dauchet, M. Nivat (eds.) | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||299 |
| 2 |  | ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings U.S. ( Lecture notes in computer science ; 300 ) | 中央図書館 | H. Ganzinger (ed.) | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||300 |
| 3 |  | CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings : gw , : us ( Lecture notes in computer science ; 431 ) | 中央図書館 | A. Arnold (ed.) | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||431 |
| 4 |  | CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings : gw , : us ( Lecture notes in computer science ; 112 ) | 中央図書館 | edited by E. Astesiano and C. Böhm | Springer-Verlag | 1981 | 中央５階洋 007.1||L 49||112 |
| 5 | | CAAP '83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, proceedings : gw , : us ( Lecture notes in computer science ; 159 ) | 中央図書館 | edited by G. Ausiello and M. Protasi | Springer-Verlag | 1983 | 中央５階洋 007.1||L 49||159 |
| 6 |  | CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, proceedings : gw , : us ( Lecture notes in computer science ; 214 ) | 中央図書館 | edited by P. Franchi-Zannettacci | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||214 |
| 7 |  | Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) : gw , : us ( 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] ) | 中央図書館 | edited by Hartmut Ehrig ... [et al.] | Springer-Verlag | 1985 | 中央５階洋 007.1||L 49||185 |
選択行を
|