語系
Skavhaug, Amund.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gallina, Barbara.; Skavhaug, Amund.; SpringerLink (Online service); Bitsch, Friedemann.
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
by:
Skavhaug, Amund.; SpringerLink (Online service); Bitsch, Friedemann.; Gallina, Barbara.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
by:
SpringerLink (Online service); Bitsch, Friedemann.; Skavhaug, Amund.; Guiochet, Jérémie.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
by:
Gallina, Barbara.; Skavhaug, Amund.; Schoitsch, Erwin.; Bitsch, Friedemann.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /
by:
Guiochet, Jérémie.; Bitsch, Friedemann.; SpringerLink (Online service); Skavhaug, Amund.; Schoitsch, Erwin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Skavhaug, Amund.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
Bitsch, Friedemann.; SpringerLink (Online service); Guiochet, Jeremie.; Skavhaug, Amund.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer organization.
Systems and Data Security.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Application software.
Artificial Intelligence.
Application software
Computer Applications.
Computer organization
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Computer Science.
Microprogramming .
Special purpose computers.
Computer communication systems.
Computer security
Computer logic
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computer systems
Programming languages (Electronic computers)
Computer hardware.
Computer Hardware.
Programming languages (Electronic computers).
Computer security.
Computation by Abstract Devices.