Showing
1 - 2
results of
2
for search '
Dam, Mads, 1955-
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Dam, Mads, 1955-
Showing
1 - 2
results of
2
for search '
Dam, Mads, 1955-
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Analysis and verification of multiple-agent languages : 5th LOMPAS workshop, Stockholm, Sweden, June 24-26, 1996. Selected papers
Published:
1997
Located:
Loading...
Book
Loading...
Saved in:
Secure IT systems : 20th Nordic conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings
Published:
2015
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
algoritmizace
analýza
biometrie
informatika
počítače
počítačová bezpečnost
programovací jazyky
verifikace programu
šifrování dat
×
Loading...