Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer security 2 Treffer
- computer systems performance. reliability 2 Treffer
- coq proof assistant 2 Treffer
- formal verification 2 Treffer
- genie logiciel 2 Treffer
-
45 weitere Werte:
- performances des systemes informatiques. fiabilite 2 Treffer
- proof theory 2 Treffer
- securite informatique 2 Treffer
- seguridad informatica 2 Treffer
- software engineering 2 Treffer
- teoria demonstracion 2 Treffer
- theorie preuve 2 Treffer
- verification formelle 2 Treffer
- algebra relacional 1 Treffer
- algebre relationnelle 1 Treffer
- algorithme randomise 1 Treffer
- algoritmo aleatorizado 1 Treffer
- analisis estatica 1 Treffer
- analyse statique 1 Treffer
- apprentissage probabilites 1 Treffer
- aprendizaje probabilidades 1 Treffer
- assembler 1 Treffer
- c language 1 Treffer
- code generation 1 Treffer
- compilador 1 Treffer
- compilateur 1 Treffer
- compiler 1 Treffer
- confidencialidad 1 Treffer
- confidentialite 1 Treffer
- confidentiality 1 Treffer
- critical system 1 Treffer
- data type 1 Treffer
- differential privacy 1 Treffer
- formal semantics 1 Treffer
- gaussian process 1 Treffer
- generacion codigo 1 Treffer
- generation code 1 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 1 Treffer
- herramienta software 1 Treffer
- hoare logic 1 Treffer
- langage assembleur 1 Treffer
- langage c 1 Treffer
- langage ocaml 1 Treffer
- langage programmation 1 Treffer
- langages de programmation 1 Treffer
- languages 1 Treffer
- laplacian 1 Treffer
- laplaciano 1 Treffer
- laplacien 1 Treffer
- lenguaje c 1 Treffer
Verlag
Publikation
Sprache
3 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: