Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- languages 6 Treffer
- theory 6 Treffer
- abstract interpretation 5 Treffer
- computer programming 5 Treffer
- verification 5 Treffer
-
45 weitere Werte:
- computer multitasking 4 Treffer
- internet servers 4 Treffer
- object-oriented programming 4 Treffer
- permissions 4 Treffer
- synchronization 4 Treffer
- algorithms 3 Treffer
- artificial languages 3 Treffer
- electronic data processing 3 Treffer
- group theory 3 Treffer
- heaps (mathematics) 3 Treffer
- java 3 Treffer
- applied sciences 2 Treffer
- computer science 2 Treffer
- computer science; control theory; systems 2 Treffer
- debugging 2 Treffer
- exact sciences and technology 2 Treffer
- informatique 2 Treffer
- informatique; automatique theorique; systemes 2 Treffer
- langages de programmation 2 Treffer
- language & logic 2 Treffer
- logic programming 2 Treffer
- logical prediction 2 Treffer
- logiciel 2 Treffer
- mathematical programming 2 Treffer
- safety properties 2 Treffer
- scheme programming language 2 Treffer
- sciences appliquees 2 Treffer
- sciences exactes et technologie 2 Treffer
- simultaneidad informatica 2 Treffer
- simultaneite informatique 2 Treffer
- software 2 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- atencion 1 Treffer
- atomicidad 1 Treffer
- atomicite 1 Treffer
- atomicity 1 Treffer
- attention 1 Treffer
- computer server 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- data dependency 1 Treffer
- data race 1 Treffer
- dependance donnee 1 Treffer
- dependencia dato 1 Treffer
- desarrollo logicial 1 Treffer
Publikation
- acm transactions on programming languages & systems 7 Treffer
- acm transactions on computational logic 2 Treffer
- acm transactions on programming languages and systems 1 Treffer
- asplos-xii: twelfth international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, ca, usa 1 Treffer
- operating systems review 1 Treffer
Sprache
4 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 36 (2014-03-01), Heft 1, S. 2:2- (42S.)Online academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 9 (2008-06-01), Heft 3, S. 17.1- (43S.)Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 32 (2010-05-01), Heft 5, S. 18-67Online academicJournalZugriff:
-
In: ASPLOS-XII: Twelfth international conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CA, USA, Jg. 40 (2006), Heft 5, S. 37-48Online KonferenzZugriff: