Languages
Dam, Mads.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Analysis and verification of multiple-agent languages = 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
by:
Dam, Mads.; SpringerLink (Online service); LOMAPS Workshop (1996 :)
(Language materials, printed)
Secure IT systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings /
by:
Buchegger, Sonja.; Dam, Mads.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer security.
Computers and civilization.
Algorithm Analysis and Problem Complexity.
Programming languages (Electronic computers)
Data encryption (Computer science)
Algorithms.
Biometrics.
Computer security
Data Encryption.
Computer science.
Biometry.
Systems and Data Security.
Computers and Society.