Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 5 Treffer
- securite 5 Treffer
- security 5 Treffer
- hardware verification 4 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 2 Treffer
-
9 weitere Werte:
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- circuits 2 Treffer
- fault-tolerance 2 Treffer
- preuve 2 Treffer
- proof 2 Treffer
- tolerance aux fautes 2 Treffer
- [info.info-ar] computer science [cs]/hardware architecture [cs.ar] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info]computer science [cs] 1 Treffer
Sprache
4 Treffer
-
In: https://hal.inria.fr/tel-01989940 ; Hardware Architecture [cs.AR]. CentraleSupélec, 2018. English. ⟨NNT : 2018CSUP0002⟩, 2018Online HochschulschriftZugriff: