検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Information flow : the logic of distributed systems A1 Barwise, Jon A1 Seligman, Jerry, 1964- YR 1997 FD 1997 VO : hbk SP xv, 274 p. K1 Electronic data processing -- Distributed processing PB Cambridge University Press PP Cambridge ; New York SN 0521583861 LA English (英語) CL LCC:QA76.9.D5 CL DC20:003/.54 CL NDC8:007.1 NO Includes bibliographiy (p. 268-269), glossary of notation (p. 270-271), index of definitions (p. 272-273) and index of names (p. 274) NO Includes exercises and answers to them NO 叢書名=Cambridge tracts in theoretical computer science ; 44 NO 書誌ID=BB00353319; NCID=BA32415677; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00353319 DS 同志社大学OPAC OL 30