Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 5 Treffer
- 01 natural sciences 4 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- computer 4 Treffer
-
45 weitere Werte:
- software 4 Treffer
- computer.software_genre 3 Treffer
- coq 3 Treffer
- programming language 3 Treffer
- 020204 information systems 2 Treffer
- algorithm 2 Treffer
- automated theorem proving 2 Treffer
- distributed computing 2 Treffer
- errors 2 Treffer
- formalism (philosophy of mathematics) 2 Treffer
- fos: computer and information sciences 2 Treffer
- logic and verification 2 Treffer
- memory safety 2 Treffer
- modular design 2 Treffer
- program slicing 2 Treffer
- slicing 2 Treffer
- soundness 2 Treffer
- verification 2 Treffer
- verification and validation 2 Treffer
- [ info ] computer science [cs] 1 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- [info] computer science [cs] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 0211 other engineering and technologies 1 Treffer
- 021110 strategic, defence & security studies 1 Treffer
- 16. peace & justice 1 Treffer
- algebraic number 1 Treffer
- attack surface 1 Treffer
- automation 1 Treffer
- certification 1 Treffer
- code (cryptography) 1 Treffer
- compartmentalization 1 Treffer
- compartmentalization (information security) 1 Treffer
- compiler 1 Treffer
- compiler construction 1 Treffer
- compiler correctness 1 Treffer
- complex system 1 Treffer
- component (uml) 1 Treffer
- component-based software engineering 1 Treffer
- computation 1 Treffer
- computer science - formal languages and automata theory 1 Treffer
Verlag
Publikation
Sprache
8 Treffer
-
In: 2015 IEEE Symposium on Security and Privacy, 2015-05-01Online unknownZugriff:
-
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017-10-30Online unknownZugriff: