検索条件
件名:LCSH:Computersoftware -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings U.S. ( Lecture notes in computer science ; 338 ) | 中央図書館 | K.V. Nori, S. Kumar (eds.). | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||338 |
2 | ![書影](../Images/noimage.png) | Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings U.S. ( Lecture notes in computer science ; 206 ) | 中央図書館 | edited by S.N. Maheshwari. | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||206 |
3 | ![書影](../Images/noimage.png) | Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings ( Lecture notes in computer science ; 405 ) | 中央図書館 | C.E. Veni Madhavan, ed. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||405 |
4 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41wPHhu8abL.jpg) | Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings U.S. ( Lecture notes in computer science ; 287 ) | 中央図書館 | Kesav V. Nori (ed.). | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||287 |
5 | ![書影](../Images/noimage.png) | Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings New York , Berlin ( Lecture notes in computer science ; 472 ) | 中央図書館 | K.V. Nori, C.E. Veni Madhavan (eds.). | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||472 |
6 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/51klZNygIrL.jpg) | RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan : gw , : us ( Lecture notes in computer science ; 220 ) | 中央図書館 | edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||220 |
7 | ![書影](../Images/noimage.png) | RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings : gw , : us ( Lecture notes in computer science ; 147 ) | 中央図書館 | edited by Eiichi Goto ... [et al.] | Springer-Verlag | 1983 | 中央5階洋 007.1||L 49||147 |
8 | ![書影](../Images/noimage.png) | Software for computer control 1988 (SOCOCO '88) : selected papers from the Fifth IFAC/IFIP Symposium, Johannesburg, S. Africa, 26-28 April 1988 ( IFAC proceedings series ; 1989, no. 2 ) | 中央図書館 | edited by I.M. MacLeod and A.D. Heher. | Published for the International Federation of Automatic Control by Pergamon Press | 1989 | 中央5階洋 501.9||I 21||'89-2 |
9 | ![書影](../Images/noimage.png) | Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings : gw , : us ( Lecture notes in computer science ; 526 ) | 中央図書館 | T. Ito, A.R. Meyer, (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||526 |
選択行を:
|