語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Computer systems - Congresses. - Verification
概要
作品:
4 作品在 2 項出版品 2 種語言
書目資訊
Engineering dependable software systems [electronic resource]/
by:
(書目-語言資料,印刷品)
Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Dependable software systems engineering[electronic resource] /
by:
(書目-電子資源)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
主題
Computer software
Computer systems
Computer security
Cyber intelligence (Computer security)
Computer networks
Software Engineering.
Automatic control
Sensor networks
Logics and Meanings of Programs.
Computer systems
Cybernetics
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer Science.
Computer Communication Networks.
Computer software
Computer systems
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer systems
Computer science
Computer Science.
Decidability (Mathematical logic)
處理中
...
變更密碼
登入