語系
Riis Nielson, Hanne.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Methods = An Appetizer /
by:
Riis Nielson, Hanne.; SpringerLink (Online service); Nielson, Flemming.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods = an appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /
by:
SpringerLink (Online service); Riis Nielson, Hanne.; Tuosto, Emilio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Secure IT systems = 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013 : proceedings /
by:
Gollmann, Dieter.; Workshop on the Preservation of Stability under Discretization ((2001 :); Riis Nielson, Hanne.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Information theory.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer networks
Architecture, Computer.
Computer Science.
Special purpose computers.
Computer communication systems.
Computer security
Special Purpose and Application-Based Systems.
Operating systems (Computers).
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.