Languages
Riis Nielson, Hanne.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal Methods = An Appetizer /
by:
Riis Nielson, Hanne.; SpringerLink (Online service); Nielson, Flemming.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods = an appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
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.