Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- languages 3 Treffer
- proof theory 3 Treffer
- teoria demonstracion 3 Treffer
- theorie preuve 3 Treffer
- verification 3 Treffer
-
45 weitere Werte:
- automatic proving 2 Treffer
- data type 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- fiabilidad 2 Treffer
- fiabilite 2 Treffer
- fonctions logiques, booleennes et de commutation 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- informatique theorique 2 Treffer
- langages de programmation 2 Treffer
- logic and foundations 2 Treffer
- logical, boolean and switching functions 2 Treffer
- logique et fondements 2 Treffer
- logique mathematique, fondements, theorie des ensembles 2 Treffer
- mathematical logic, foundations, set theory 2 Treffer
- mathematics 2 Treffer
- mathematiques 2 Treffer
- memory and file management (including protection and security) 2 Treffer
- memory organisation. data processing 2 Treffer
- organisation des memoires. traitement des donnees 2 Treffer
- programming languages 2 Treffer
- proof theory and constructive mathematics 2 Treffer
- reliability 2 Treffer
- sciences and techniques of general use 2 Treffer
- sciences et techniques communes 2 Treffer
- security 2 Treffer
- theoretical computing 2 Treffer
- theorie de la preuve et mathematiques constructives 2 Treffer
- theory 2 Treffer
- tipo dato 2 Treffer
- type donnee 2 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- algebra relacional 1 Treffer
- algebre relationnelle 1 Treffer
- algorithme numerique 1 Treffer
- algorithme randomise 1 Treffer
- algoritmo aleatorizado 1 Treffer
- algoritmo numerico 1 Treffer
- analisis estatica 1 Treffer
- analyse statique 1 Treffer
- apprentissage probabilites 1 Treffer
- aprendizaje probabilidades 1 Treffer
Publikation
Sprache
4 Treffer
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: