Languages
Skavhaug, Amund.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.