関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Electronicdataprocessing -- Mathematics -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 298 ) | 中央図書館 | M. Main ... [et al.] (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||298 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/31MogG7GiAL.jpg) | Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw , : us ( Lecture notes in computer science ; 375 ) | 中央図書館 | J.L.A. van de Snepscheut (ed.) | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||375 |
選択行を:
|