Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 11 Treffer
- verificacion programa 11 Treffer
- verification programme 11 Treffer
- operating system 9 Treffer
- sistema operativo 9 Treffer
-
45 weitere Werte:
- systeme exploitation 9 Treffer
- langage programmation 8 Treffer
- lenguaje programacion 8 Treffer
- programming language 8 Treffer
- analisis programa 7 Treffer
- analyse programme 7 Treffer
- program analysis 7 Treffer
- desarrollo logicial 5 Treffer
- developpement logiciel 5 Treffer
- ejecucion programa 5 Treffer
- execution programme 5 Treffer
- fiabilidad 5 Treffer
- fiabilite 5 Treffer
- languages 5 Treffer
- program execution 5 Treffer
- reliability 5 Treffer
- software development 5 Treffer
- algorithms 4 Treffer
- computer systems and distributed systems. user interface 4 Treffer
- java language 4 Treffer
- langage java 4 Treffer
- lenguaje java 4 Treffer
- multitache 4 Treffer
- multitarea 4 Treffer
- multithread 4 Treffer
- semantica 4 Treffer
- semantics 4 Treffer
- semantique 4 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 4 Treffer
- actualizacion 3 Treffer
- logiciel libre 3 Treffer
- marcador 3 Treffer
- mise a jour 3 Treffer
- modeling 3 Treffer
- modelisation 3 Treffer
- modelizacion 3 Treffer
- open source software 3 Treffer
- pointer 3 Treffer
- pointeur 3 Treffer
- safety 3 Treffer
- securite 3 Treffer
- seguridad 3 Treffer
- software libre 3 Treffer
- theorie type 3 Treffer
- type theory 3 Treffer
Publikation
- operating systems review 7 Treffer
- acm transactions on programming languages and systems 6 Treffer
- asplos-xii: twelfth international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, ca, usa 4 Treffer
- acm sigplan notices 2 Treffer
- communications of the acm 2 Treffer
- 4 weitere Werte:
Sprache
19 Treffer
-
In: SOSP'07: Twenty-First ACM Symposium on Operating Systems Principles, October 14-17, 2007, Stevenson, Washington, USA, Jg. 41 (2007), Heft 6, S. 145-158Online KonferenzZugriff:
-
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. 219-228Online KonferenzZugriff:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 106-113Online academicJournalZugriff:
-
In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09), Jg. 44 (2009), Heft 6, S. 453-464KonferenzZugriff:
-
In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09), Jg. 44 (2009), Heft 6, S. 453-464KonferenzZugriff:
-
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. 229-240Online KonferenzZugriff:
-
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:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 5, S. 109-116Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 29 (2007), Heft 2Online academicJournalZugriff:
-
In: Proceedings of the EuroSys 2007, 2nd EuroSys Conference, Lisbon, Portugal, 21-23 March, Jg. 41 (2007), Heft 3, S. 203-215Online KonferenzZugriff:
-
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. 404-415Online KonferenzZugriff:
-
In: PLAS 2006 (proceedings of the 2006 Programming Languages and Analysis for Security Workshop), 2006, S. 3-6KonferenzZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 29 (2007), Heft 4, S. 1-70Online academicJournalZugriff:
-
In: Operating systems review, Jg. 41 (2007), Heft 1, S. 78-88Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 27 (2005), Heft 6, S. 1049-1096Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 27 (2005), Heft 3, S. 477-526Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 1Online academicJournalZugriff:
-
In: SPECIAL ISSUE APLOS 2011, Jg. 30 (2012), Heft 1Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 30 (2008), Heft 4Online academicJournalZugriff: