Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 19 Treffer
- informatique 19 Treffer
- debugging 11 Treffer
- puesta a punto programa 11 Treffer
- desarrollo logicial 10 Treffer
-
45 weitere Werte:
- developpement logiciel 10 Treffer
- software development 10 Treffer
- debogage 8 Treffer
- ingenieria informatica 8 Treffer
- computer systems performance. reliability 5 Treffer
- electronics 5 Treffer
- electronique 5 Treffer
- performances des systemes informatiques. fiabilite 5 Treffer
- program verification 5 Treffer
- verificacion programa 5 Treffer
- verification programme 5 Treffer
- automatique, recherche operationnelle 4 Treffer
- control theory, operational research 4 Treffer
- ingenieria logiciel 3 Treffer
- langage programmation 3 Treffer
- lenguaje programacion 3 Treffer
- maintenance logiciel 3 Treffer
- mise au point programme 3 Treffer
- programming language 3 Treffer
- algorithms 2 Treffer
- biblioteca programa 2 Treffer
- bibliotheque programme 2 Treffer
- c language 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- comportement programme 2 Treffer
- design 2 Treffer
- detection erreur 2 Treffer
- error detection 2 Treffer
- gestion logiciel 2 Treffer
- informatique theorique 2 Treffer
- langage c 2 Treffer
- languages 2 Treffer
- lenguaje c 2 Treffer
- mathematics 2 Treffer
- mathematiques 2 Treffer
- modeling 2 Treffer
- modelisation 2 Treffer
- modelizacion 2 Treffer
- pistage 2 Treffer
- poisson process 2 Treffer
- proceso poisson 2 Treffer
- processus poisson 2 Treffer
- program behavior 2 Treffer
Verlag
Publikation
- acm sigplan notices 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)) 3 Treffer
- ieee software 2 Treffer
- ieee transactions on reliability 2 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 2 Treffer
-
16 weitere Werte:
- acm transactions on mathematical software 1 Treffer
- biometrika 1 Treffer
- ieee transactions on computers 1 Treffer
- international journal of computer applications in technology 1 Treffer
- international journal of systems science 1 Treffer
- lecture notes in computer science 1 Treffer
- operating systems review 1 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
- proceedings of the 11th international conference on architectural support for programming languages and operating systems (asplos-xi), october 9-13, 2004, boston, massachusetts 1 Treffer
- proceedings of the 2005 acm sigplan-sigact symposium on principles of programming languages (popl 2005) 1 Treffer
- proceedings. annual reliability and maintainability symposium 1 Treffer
- reliability and maintainability (seattle wa, 28-31 january 2002) 1 Treffer
- software quality - ecsq 2002 (helsinki, 9-13 june 2002) 1 Treffer
- software, practice & experience 1 Treffer
- sosp'05 : proceedings of the 20th acm symposium on operating systems principles 1 Treffer
- systems and computers in japan 1 Treffer
Sprache
22 Treffer
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 15-26KonferenzZugriff:
-
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: Software quality - ECSQ 2002 (Helsinki, 9-13 June 2002), 2002, S. 226-235KonferenzZugriff:
-
In: IEEE transactions on reliability, Jg. 44 (1995), Heft 2, S. 315-321Online academicJournalZugriff:
-
In: IEEE transactions on computers, Jg. 45 (1996), Heft 4, S. 385-393Online academicJournalZugriff:
-
In: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 84-95KonferenzZugriff:
-
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: IEEE transactions on reliability, Jg. 44 (1995), Heft 1, S. 104-113Online academicJournalZugriff:
-
In: Biometrika, Jg. 80 (1993), Heft 1, S. 193-201Online academicJournalZugriff:
-
In: Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), Jg. 40 (2005), Heft 1, S. 183-194KonferenzZugriff:
-
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. 177-186KonferenzZugriff:
-
In: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 1-14KonferenzZugriff:
-
In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI), October 9-13, 2004, Boston, Massachusetts, Jg. 39 (2004), Heft 11, S. 156-164KonferenzZugriff:
-
In: Reliability and maintainability (Seattle WA, 28-31 January 2002), 2002, S. 306-311KonferenzZugriff:
-
In: IEEE software, Jg. 29 (2012), Heft 3, S. 17-20Online academicJournalZugriff:
-
In: International journal of computer applications in technology, Jg. 42 (2011), Heft 2-3, S. 108-126academicJournalZugriff:
-
In: IEEE software, Jg. 27 (2010), Heft 4, S. 58-64Online academicJournalZugriff:
-
In: International journal of systems science, Jg. 40 (2009), Heft 4, S. 429-438academicJournalZugriff:
-
In: ACM transactions on mathematical software, Jg. 31 (2005), Heft 3, S. 397-423Online academicJournalZugriff: