語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
Atif, Muhammad.
概要
作品:
1 作品在 1 項出版品 1 種語言
書目資訊
Understanding behaviour of distributed systems using mCRL2
by: Atif, Muhammad.; Groote, J. F.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Mathematical and Computational Biology.
Electronic data processing
Mathematical Applications in Computer Science.
Computer Modelling.
Markov Process.
System analysis
處理中
...
變更密碼
登入
