語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Computer systems - Congresses. - Verification
概要
作品:
6 作品在 3 項出版品 3 種語言
書目資訊
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
Engineering dependable software systems
by:
(書目-電子資源)
Cyber physical systems = design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(書目-電子資源)
Dependable software systems engineering
by:
(書目-電子資源)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic control
Sensor networks
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Cybernetics
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
Computer software- Verification.
Computer networks- Security measures
Coding and Information Theory.
Computer security
Cyber intelligence (Computer security)
Decidability (Mathematical logic)
Graph theory- Data processing
Computer Science.
Computer software- Development
Computer software- Verification
Computer Communication Networks.
Computer systems- Verification.
處理中
...
變更密碼
登入