Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- semantics 8 Treffer
- compilers (computer programs) 7 Treffer
- concurrency 6 Treffer
- atomicity 5 Treffer
- garbage collection 5 Treffer
-
45 weitere Werte:
- programming languages 5 Treffer
- refinement 5 Treffer
- interactive theorem proving 4 Treffer
- c (computer program language) 3 Treffer
- computer input-output equipment 3 Treffer
- managed languages 3 Treffer
- multiprocessors 3 Treffer
- software verification 3 Treffer
- source code 3 Treffer
- applied sciences 2 Treffer
- compilacion 2 Treffer
- compilation 2 Treffer
- computer science 2 Treffer
- computer science; control theory; systems 2 Treffer
- computer systems and distributed systems. user interface 2 Treffer
- exact sciences and technology 2 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 2 Treffer
- gestion memoire 2 Treffer
- gestion memoria 2 Treffer
- informatique 2 Treffer
- informatique; automatique theorique; systemes 2 Treffer
- kripke semantics 2 Treffer
- logiciel 2 Treffer
- machinery 2 Treffer
- memoire partagee 2 Treffer
- memoria compartida 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
- relaxed memory models 2 Treffer
- reliability 2 Treffer
- sciences appliquees 2 Treffer
- sciences exactes et technologie 2 Treffer
- shared memory 2 Treffer
- simultaneidad informatica 2 Treffer
- simultaneite informatique 2 Treffer
- software 2 Treffer
- staircases 2 Treffer
- storage management 2 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 2 Treffer
- verification 2 Treffer
- [info.info-gl]computer science [cs]/general literature [cs.gl] 1 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
Publikation
Sprache
6 Treffer
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-26Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-02), S. 1-25Online academicJournalZugriff:
-
In: Journal of the ACM, Jg. 60 (2013-06-01), Heft 3, S. 1-50Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: