Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- differential privacy 5 Treffer
- computer programming 4 Treffer
- data integrity 4 Treffer
- data protection 4 Treffer
- programming languages 4 Treffer
-
45 weitere Werte:
- semantic networks (information theory) 4 Treffer
- modal logic 2 Treffer
- abstract interpretation 1 Treffer
- algebra relacional 1 Treffer
- algebre relationnelle 1 Treffer
- algorithme randomise 1 Treffer
- algorithmic skeletons 1 Treffer
- algoritmo aleatorizado 1 Treffer
- analisis estatica 1 Treffer
- analyse statique 1 Treffer
- applied sciences 1 Treffer
- apprentissage probabilites 1 Treffer
- aprendizaje probabilidades 1 Treffer
- archetypes 1 Treffer
- automatic proving 1 Treffer
- computer science 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer security 1 Treffer
- computer systems performance. reliability 1 Treffer
- confidencialidad 1 Treffer
- confidentialite 1 Treffer
- confidentiality 1 Treffer
- consistency 1 Treffer
- curry-howard isomorphism 1 Treffer
- data type 1 Treffer
- demonstration automatique 1 Treffer
- demostracion automatica 1 Treffer
- dynamic properties 1 Treffer
- exact sciences and technology 1 Treffer
- fonctions logiques, booleennes et de commutation 1 Treffer
- formal method 1 Treffer
- formal verification 1 Treffer
- gaussian process 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
- informatique 1 Treffer
- informatique theorique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- interactive theorem proving 1 Treffer
- languages 1 Treffer
- laplacian 1 Treffer
- laplaciano 1 Treffer
- laplacien 1 Treffer
- logic and foundations 1 Treffer
Publikation
Sprache
8 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 35 (2013-11-01), Heft 3, S. 9-57Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: