関連資料一覧:(本学所蔵)
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/21NpTNS4P6L.jpg) | Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 U.S. ( Lecture notes in computer science ; 331 ) | 中央図書館 | M. Joseph, ed. | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||331 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/51CHk-Xk9lL.jpg) | Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings U.S. : pbk. ( Lecture notes in computer science ; 181 ) | 中央図書館 | edited by Mathai Joseph and Rudrapatna Shyamasundar. | Springer-Verlag | 1984 | 中央5階洋 007.1||L 49||181 |
選択行を
|