close
1.

図書
図書
1. Alternating sequential/parallel processing (: gw ; : us)
Y. Wallach
出版情報: Berlin ; New York : Springer, 1982  x, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 127
所蔵情報: loading…
2.

図書
図書
2. Verifying concurrent processes using temporal logic (: gw ; : us)
Brent T. Hailpern
出版情報: Berlin ; New York : Springer-Verlag, 1982  viii, 208 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 129
所蔵情報: loading…
3.

図書
図書
3. Parallel algorithms on a multiprocessor
by Peter N. Oleinick
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  xi, 110 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 4
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼