語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Computer software - Case studies. - Reliability
概要
作品:
10 作品在 8 項出版品 8 種語言
書目資訊
Resilience assessment and evaluation of computing systems[electronic resource] /
by:
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2014[electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2015[electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(書目-電子資源)
Critical systems[electronic resource] :formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
(書目-電子資源)
Computer safety, reliability, and security[electronic resource] :22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /
by:
(書目-電子資源)
Dependable software systems engineering[electronic resource] /
by:
(書目-電子資源)
主題
Software Engineering.
Computer software
Mathematical Applications in Computer Science.
Computers
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Quality Control, Reliability, Safety and Risk.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer Science.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Formal methods (Computer science)
Computer programs
Computer Science.
Computer software
Electronic digital computers
Computer security
Industrial safety
Software engineering
Computer software
處理中
...
變更密碼
登入