Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- software 8 Treffer
- applied sciences 6 Treffer
- computer science; control theory; systems 6 Treffer
- exact sciences and technology 6 Treffer
- informatique 6 Treffer
-
45 weitere Werte:
- informatique; automatique theorique; systemes 6 Treffer
- logiciel 6 Treffer
- program verification 6 Treffer
- programming language 6 Treffer
- sciences appliquees 6 Treffer
- sciences exactes et technologie 6 Treffer
- proof theory 5 Treffer
- verificacion programa 5 Treffer
- verification programme 5 Treffer
- computer systems performance. reliability 4 Treffer
- formal verification 4 Treffer
- informatique theorique 4 Treffer
- performances des systemes informatiques. fiabilite 4 Treffer
- software engineering 4 Treffer
- teoria demonstracion 4 Treffer
- theoretical computing 4 Treffer
- theorie preuve 4 Treffer
- verification 4 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- 020207 software engineering 3 Treffer
- automatic proving 3 Treffer
- computer 3 Treffer
- computer.software_genre 3 Treffer
- concurrency 3 Treffer
- coq 3 Treffer
- demonstration automatique 3 Treffer
- demostracion automatica 3 Treffer
- fonctions logiques, booleennes et de commutation 3 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 3 Treffer
- langage programmation 3 Treffer
- langages de programmation 3 Treffer
- languages 3 Treffer
- lenguaje programacion 3 Treffer
- logic and foundations 3 Treffer
- logical, boolean and switching functions 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- mathematics 3 Treffer
- mathematiques 3 Treffer
- memory and file management (including protection and security) 3 Treffer
- memory organisation. data processing 3 Treffer
- organisation des memoires. traitement des donnees 3 Treffer
- programming languages 3 Treffer
Publikation
Sprache
12 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: 38 ; 1, 2018Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: Journal of the Association for Computing Machinery, Jg. 60 (2013), Heft 3Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: