Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 2 Treffer
- computer security 2 Treffer
- coq 2 Treffer
- floating point 2 Treffer
- floating-point arithmetic 2 Treffer
-
30 weitere Werte:
- formal proof 2 Treffer
- c (computer program language) 1 Treffer
- computer arithmetic 1 Treffer
- computer multitasking 1 Treffer
- computer software development 1 Treffer
- coq proof assistant 1 Treffer
- cryptography 1 Treffer
- data encryption 1 Treffer
- data integrity 1 Treffer
- data protection 1 Treffer
- differential privacy 1 Treffer
- discriminant 1 Treffer
- discriminant analysis 1 Treffer
- fma 1 Treffer
- formal methods 1 Treffer
- formal methods (computer science) 1 Treffer
- formal semantics 1 Treffer
- iterative methods (mathematics) 1 Treffer
- kernel operating systems 1 Treffer
- mathematical proofs 1 Treffer
- operator equations 1 Treffer
- program verification 1 Treffer
- programming languages 1 Treffer
- protocol verification 1 Treffer
- security properties 1 Treffer
- semantic networks (information theory) 1 Treffer
- semantics 1 Treffer
- software architecture 1 Treffer
- software frameworks 1 Treffer
- software verification 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 35 (2013-11-01), Heft 3, S. 9-57Online academicJournalZugriff:
-
In: IEEE Transactions on Computers, Jg. 58 (2009-02-01), Heft 2, S. 220-225Online academicJournalZugriff:
-
In: IEEE Transactions on Computers, Jg. 57 (2008-04-01), Heft 4, S. 462-471Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 62 (2019-10-01), Heft 10, S. 89-99Online serialPeriodicalZugriff:
-
In: Journal of Computer Security, Jg. 22 (2014-06-01), Heft 5, S. 823-866Online academicJournalZugriff: