Suchergebnisse
Hochschulbibliotheken
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Form
Literaturtyp
Schlagwort
- authentication 1 Treffer
- computer science 1 Treffer
- computer software selection and evaluation 1 Treffer
- cryptography 1 Treffer
- data privacy 1 Treffer
-
13 weitere Werte:
- formal logic 1 Treffer
- formal methods 1 Treffer
- privacy 1 Treffer
- program compilers 1 Treffer
- programming languages 1 Treffer
- security analysis 1 Treffer
- security systems 1 Treffer
- semantics 1 Treffer
- separation logic 1 Treffer
- software engineering 1 Treffer
- specifications 1 Treffer
- verification 1 Treffer
- world wide web 1 Treffer
1 Treffer
-
Springer Nature, 2018Online Buch, Datenträger, Online-RessourceZugriff: