語系
Skavhaug, Amund.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Gallina, Barbara.; Skavhaug, Amund.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and securitySAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(1998 :); Skavhaug, Amund.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and security35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Guiochet, Jeremie.; Skavhaug, Amund.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer organization
Software engineering
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Special Purpose and Application-Based Systems.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Application software
Computer Communication Networks.
Computer Applications.