封面圖片

Summary goes here

Saved in:
書目詳細資料
格式: 圖書
語言:英语
主題:
Bisimulation.
Coinduction (Mathematics)
Modality (Logic)
Induction (Mathematics)
Computer science.
COMPUTERS / Networking / General.
COMPUTERS / Computer Literacy
COMPUTERS / Computer Science
COMPUTERS / Data Processing
COMPUTERS / Hardware / General
COMPUTERS / Information Technology
COMPUTERS / Machine Theory
COMPUTERS / Reference
Electronic books.
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

MU Online Library

持有資料詳情 MU Online Library
索引號: missing
復印件 0 AVAILABLE
提示:
  • json {"id":"59df2043-4819-52c4-b84c-0b4ce94f4ce1","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i171516254","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-17T05:47:24.451674710Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-17T05:47:24.885400787Z"}

SFCC Electronic Resource

持有資料詳情 SFCC Electronic Resource
索引號: Ebsco Electronic Book
復印件 1 AVAILABLE
提示:
  • json {"id":"f2c78635-f9de-584d-bc48-bfabf5d114ae","status":{"code":"AVAILABLE"},"location":{"code":"SFCC-Eres","name":"SFCC Electronic Resource"},"callNumber":"Ebsco Electronic Book","sourceHostLmsCode":"STATE_FAIR_COMMUNITY_COLLEGE","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-17T05:47:24.451674710Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-10-17T05:47:25.379827374Z"}