Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- interpretation abstraite 3 Treffer
- 004 2 Treffer
- abstract interpretation 2 Treffer
- langages fonctionnels 2 Treffer
-
18 weitere Werte:
- polyedres 2 Treffer
- polyhedra 2 Treffer
- [info:info_se] computer science/software engineering 1 Treffer
- [info:info_se] informatique/genie logiciel 1 Treffer
- abstract domain 1 Treffer
- analyse de dependances 1 Treffer
- canaux caches 1 Treffer
- compilation 1 Treffer
- controle de flux d'information 1 Treffer
- dependency analysis 1 Treffer
- formal proof 1 Treffer
- formal verification 1 Treffer
- functional languages 1 Treffer
- information flow control 1 Treffer
- linux 1 Treffer
- preuve formelle 1 Treffer
- side-channels 1 Treffer
- verification formelle 1 Treffer
Sprache
7 Treffer
-
2014HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
2013HochschulschriftZugriff: