Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 66 Treffer
- applied sciences 55 Treffer
- exact sciences and technology 55 Treffer
- logiciel 55 Treffer
- sciences appliquees 55 Treffer
-
45 weitere Werte:
- sciences exactes et technologie 55 Treffer
- informatique 54 Treffer
- computer science; control theory; systems 52 Treffer
- informatique; automatique theorique; systemes 52 Treffer
- computer systems and distributed systems. user interface 22 Treffer
- software engineering 22 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 22 Treffer
- langages de programmation 19 Treffer
- program verification 19 Treffer
- programming languages 19 Treffer
- verificacion programa 19 Treffer
- verification programme 19 Treffer
- debugging 17 Treffer
- genie logiciel 17 Treffer
- programming language 17 Treffer
- operating system 16 Treffer
- sistema operativo 16 Treffer
- systeme exploitation 16 Treffer
- debogage 15 Treffer
- puesta a punto programa 15 Treffer
- computer systems performance. reliability 13 Treffer
- performances des systemes informatiques. fiabilite 13 Treffer
- langage programmation 10 Treffer
- lenguaje programacion 10 Treffer
- computer 9 Treffer
- computer security 9 Treffer
- computer.software_genre 9 Treffer
- desarrollo logicial 9 Treffer
- developpement logiciel 9 Treffer
- fiabilidad 9 Treffer
- fiabilidad logicial 9 Treffer
- fiabilite 9 Treffer
- fiabilite logiciel 9 Treffer
- memory organisation. data processing 9 Treffer
- organisation des memoires. traitement des donnees 9 Treffer
- program analysis 9 Treffer
- reliability 9 Treffer
- software development 9 Treffer
- software reliability 9 Treffer
- analisis programa 8 Treffer
- analyse programme 8 Treffer
- modeling 8 Treffer
- modelisation 8 Treffer
- modelizacion 8 Treffer
- algorithms 7 Treffer
Verlag
Publikation
- operating systems review 17 Treffer
- communications of the acm 12 Treffer
- acm transactions on programming languages and systems 10 Treffer
- acm transactions on computer systems 5 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
-
12 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 sigplan notices 2 Treffer
- acm transactions on privacy & security 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 transactions on mathematical software 1 Treffer
- acm transactions on sensor networks 1 Treffer
- design automation conference (proceedings 2004) 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
78 Treffer
-
2023Online KonferenzZugriff:
-
2021Online unknownZugriff:
-
In: ACM transactions on computer systems, Jg. 25 (2007), Heft 3, S. 1-33Online academicJournalZugriff:
-
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: ACM Transactions on Privacy & Security, Jg. 23 (2020-05-01), Heft 2, S. 1-36Online 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: