Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- methodes formelles 4 Treffer
- code analysis 2 Treffer
- coq 2 Treffer
- extraction 2 Treffer
- formal verification 2 Treffer
-
34 weitere Werte:
- program verification 2 Treffer
- proof assistant 2 Treffer
- proof assistants 2 Treffer
- [info:info_oh] computer science/other 1 Treffer
- [info:info_oh] informatique/autre 1 Treffer
- 004 1 Treffer
- access control 1 Treffer
- assistant de preuve 1 Treffer
- assistants de preuve 1 Treffer
- circuits 1 Treffer
- compilation 1 Treffer
- computer science 1 Treffer
- computer sciences 1 Treffer
- deep learning 1 Treffer
- fault-tolerance 1 Treffer
- langage c 1 Treffer
- language semantics 1 Treffer
- logics 1 Treffer
- logique 1 Treffer
- mathematics 1 Treffer
- model checking 1 Treffer
- natural language processing 1 Treffer
- neuronal networks 1 Treffer
- policy language 1 Treffer
- preuve 1 Treffer
- proof 1 Treffer
- secrecy 1 Treffer
- security 1 Treffer
- semantic parsing 1 Treffer
- synchronous languages 1 Treffer
- theorem proving 1 Treffer
- tolerance aux fautes 1 Treffer
- type enforcement 1 Treffer
- verification de programmes 1 Treffer
Verlag
Sprache
10 Treffer
-
2021Online HochschulschriftZugriff:
-
2016HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff:
-
2016Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
In: Graduate Theses and DissertationsHochschulschriftZugriff: