関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Electronicdataprocessing -- Mathematics -- Congresses
選択行を:
| 資料名 | 所在 |
1 | Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors. -- American Mathematical Society, c1989. -- (Contemporary mathematics ; v. 92). | 理数学 007.6:A |
2 | Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 324). | 理数学 007.6:M |
3 | Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 298). | 理数学 007.6:M |
選択行を:
|