語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Computer software - Congresses. - Mathematics
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Coalgebraic Methods in Computer Science[electronic resource] :13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Computer science
Computer Science.
Probability and Statistics in Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer science
Computer Science.
處理中
...
變更密碼
登入