関連資料一覧:(本学所蔵)
検索条件
著者情報:International Joint Conference on Theory and Practice of Software Development
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Tapsoft '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development. Brighton, UK, April 8-12, 1991 v. 1 , v. 1, alk. paper : New York , v. 1, alk. paper : Berlin ( Lecture notes in computer science ; 493 ) | 中央図書館 | S. Abramsky, T.S.E. Maibaum, eds. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||493 |
2 | | 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 | 中央5階洋 007.1||L 49||185 |
3 | | TAPSOFT ʾ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991. v. 2 , New York : pbk. : v. 2 ( Lecture notes in computer science ; 494 ) | 中央図書館 | S. Abramsky, T.S.E. Maibaum, eds. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||494 |
選択行を
|