関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Electronicdataprocessing -- Distributedprocessing.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Detection of unstable predicates in debugging distributed programs | 中央図書館 | by Brian Emil Waldecker. | | 1991 | 中央5階洋 548.163||W 36 |
2 | | Distributed systems : methods and tools for specification : an advanced course U.S. : pbk. ( Lecture notes in computer science ; 190 ) | 中央図書館 | M.W. Alford ... [et al.], edited by M. Paul and H.J. Siegert. | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||190 |
3 | | Efficient query processing in geographic information systems Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 471 ) | 中央図書館 | Beng Chin Ooi. | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||471 |
4 | | Finite representations of CCS and TCSP programs by automata and Petri nets U.S. ( Lecture notes in computer science ; 369 ) | 中央図書館 | Dirk Taubner. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||369 |
5 | | Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 U.S. : alk. paper ( Lecture notes in computer science ; 354 ) | 中央図書館 | J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||354 |
6 | | Mechanisms for reliable distributed real-time operating systems : the Alpha kernel alk. paper ( Perspectives in computing (Boston, Mass.) ; vol. 16. ) | 中央図書館 | J. Duane Northcutt. | Academic Press | 1987 | 中央5階洋 548.163||N 96 |
選択行を:
|