Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer systems and distributed systems. user interface 22 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 22 Treffer
- genie logiciel 18 Treffer
- langages de programmation 18 Treffer
- program verification 18 Treffer
-
45 weitere Werte:
- programming languages 18 Treffer
- software engineering 18 Treffer
- verificacion programa 18 Treffer
- verification programme 18 Treffer
- operating system 16 Treffer
- sistema operativo 16 Treffer
- systeme exploitation 16 Treffer
- debogage 14 Treffer
- debugging 14 Treffer
- puesta a punto programa 14 Treffer
- computer systems performance. reliability 13 Treffer
- performances des systemes informatiques. fiabilite 13 Treffer
- desarrollo logicial 10 Treffer
- developpement logiciel 10 Treffer
- fiabilidad logicial 10 Treffer
- fiabilite logiciel 10 Treffer
- langage programmation 10 Treffer
- lenguaje programacion 10 Treffer
- programming language 10 Treffer
- software development 10 Treffer
- software reliability 10 Treffer
- memory organisation. data processing 9 Treffer
- organisation des memoires. traitement des donnees 9 Treffer
- modeling 8 Treffer
- modelisation 8 Treffer
- modelizacion 8 Treffer
- algorithms 7 Treffer
- analisis programa 7 Treffer
- analyse programme 7 Treffer
- fiabilidad 7 Treffer
- fiabilite 7 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 7 Treffer
- languages 7 Treffer
- memory and file management (including protection and security) 7 Treffer
- program analysis 7 Treffer
- reliability 7 Treffer
- safety 7 Treffer
- securite 7 Treffer
- seguridad 7 Treffer
- sistema unix 7 Treffer
- systeme unix 7 Treffer
- unix system 7 Treffer
- analisis estatica 6 Treffer
- analyse statique 6 Treffer
- computer security 6 Treffer
Publikation
- operating systems review 17 Treffer
- communications of the acm 12 Treffer
- acm transactions on programming languages and systems 10 Treffer
- esec/fse'05 (proceedings of the joint 10th european software engineering conference (esec) and the 13th acm sigsoft symposium on the foundations of software engineering (fse-13)) 5 Treffer
- acm transactions on computer systems 4 Treffer
-
10 weitere Werte:
- asplos-xii: twelfth international conference on architectural support for programming languages and operating systems, october 21-25, 2006, san jose, ca, usa 4 Treffer
- proceedings of eurosys2006, leuven, belgium, april 18-21, 2006 3 Treffer
- sosp'05 : proceedings of the 20th acm symposium on operating systems principles 3 Treffer
- acm transactions on mathematical software 2 Treffer
- proceedings of the 18th acm symposium on operating systems principles (sosp'01), october 21-24, 2001, chateau lake louise, banff, alberta, canada 2 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on sensor networks 1 Treffer
- plas 2006 (proceedings of the 2006 programming languages and analysis for security workshop) 1 Treffer
- proceedings of the eurosys 2007, 2nd eurosys conference, lisbon, portugal, 21-23 march, 2007 1 Treffer
- special issue aplos 2011 1 Treffer
Sprache
53 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: ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)), 2005, S. 286-295KonferenzZugriff:
-
In: SOSP'05 : proceedings of the 20th ACM symposium on operating systems principles, Jg. 39 (2005), Heft 5, S. 235-248Online KonferenzZugriff:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 106-113Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 2, S. 66-75Online academicJournalZugriff:
-
In: Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), October 21-24, 2001, Chateau Lake Louise, Banff, Alberta, Canada, Jg. 35 (2001), Heft 5, S. 57-72Online KonferenzZugriff:
-
In: Communications of the ACM, Jg. 54 (2011), Heft 2, S. 44-49Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 32 (2010), Heft 4Online academicJournalZugriff:
-
In: Operating systems review, Jg. 45 (2011), Heft 1, S. 84-91Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 7, S. 58-64Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 2, S. 74-84Online 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: 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: SOSP'05 : proceedings of the 20th ACM symposium on operating systems principles, Jg. 39 (2005), Heft 5, S. 221-234Online KonferenzZugriff:
-
In: ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)), 2005, S. 306-315KonferenzZugriff:
-
In: SOSP'05 : proceedings of the 20th ACM symposium on operating systems principles, Jg. 39 (2005), Heft 5, S. 31-44Online KonferenzZugriff:
-
In: ESEC/FSE'05 (proceedings of the joint 10th European Software engineering conference (ESEC) and the 13th ACM SIGSOFT symposium on the foundations of software engineering (FSE-13)), 2005, S. 296-305KonferenzZugriff:
-
In: Communications of the ACM, Jg. 53 (2010), Heft 5, S. 109-116Online academicJournalZugriff: