Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- software 30 Treffer
- applied sciences 22 Treffer
- computer science; control theory; systems 22 Treffer
- exact sciences and technology 22 Treffer
- genie logiciel 22 Treffer
-
45 weitere Werte:
- informatique 22 Treffer
- informatique; automatique theorique; systemes 22 Treffer
- langage programmation 22 Treffer
- lenguaje programacion 22 Treffer
- logiciel 22 Treffer
- sciences appliquees 22 Treffer
- sciences exactes et technologie 22 Treffer
- program verification 15 Treffer
- verificacion programa 15 Treffer
- verification programme 15 Treffer
- computer 8 Treffer
- computer.software_genre 8 Treffer
- debugging 8 Treffer
- programming languages 8 Treffer
- compiler 7 Treffer
- langages de programmation 7 Treffer
- business 6 Treffer
- business.industry 6 Treffer
- compilador 6 Treffer
- compilateur 6 Treffer
- ingenieria informatica 6 Treffer
- puesta a punto programa 6 Treffer
- reliability 6 Treffer
- software development 6 Treffer
- static analysis 6 Treffer
- concurrency 5 Treffer
- debogage 5 Treffer
- fiabilidad 5 Treffer
- fiabilite 5 Treffer
- simultaneidad informatica 5 Treffer
- simultaneite informatique 5 Treffer
- software bug 5 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- analisis estatica 4 Treffer
- analyse statique 4 Treffer
- comportement programme 4 Treffer
- desarrollo logicial 4 Treffer
- developpement logiciel 4 Treffer
- formal verification 4 Treffer
- java 4 Treffer
- java language 4 Treffer
- langage java 4 Treffer
- languages 4 Treffer
- lenguaje java 4 Treffer
Verlag
Publikation
- acm sigplan notices 11 Treffer
- acm transactions on programming languages and systems 2 Treffer
- lecture notes in computer science 2 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 2 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 2 Treffer
-
21 weitere Werte:
- 0esop 2006 1 Treffer
- communications of the acm 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- electronic notes in theoretical computer science 1 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)) 1 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- icse 2002 : 24th international conference on software engineering (orlando fl, 19-25 may 2002) 1 Treffer
- ieee software 1 Treffer
- ieee transactions on software engineering 1 Treffer
- peerj computer science 1 Treffer
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 1 Treffer
- principles, logics, and implementations of high-level programming languages (pli) 1 Treffer
- proceedings - international conference on software engineering 1 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 1 Treffer
- proceedings of the 2004 acm conference on object-oriented programming, systems, languages, and applications (oopsla'04) 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
- proceedings of the 2005 acm sigplan-sigact symposium on principles of programming languages (popl 2005) 1 Treffer
- proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02) 1 Treffer
- programming languages and systems (15th european symposium on programming, esop 2006, held as part of the joint european conferences on theory and practice of software, etaps 2006, vienna, austria, march 27-28, 2006) 1 Treffer
- report - software engineering 1 Treffer
- software, practice & experience 1 Treffer
35 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE software, Jg. 23 (2006), Heft 2, S. 92-93Online academicJournalZugriff:
-
In: Report - Software engineering, 2005, Heft 15, S. 1-10academicJournalZugriff:
-
Benefits, challenges, and usability evaluation of DeloreanJS: a back-in-time debugger for JavaScriptIn: PeerJ Computer Science, Jg. 9 (2023-02-01), S. e1238Online academicJournalZugriff:
-
In: Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006), 2006, S. 246-263KonferenzZugriff:
-
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. 306-315KonferenzZugriff:
-
In: Communications of the ACM, Jg. 57 (2014), Heft 8, S. 70-80Online academicJournalZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 320-330KonferenzZugriff:
-
In: POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®: Papers presented at the Symposium, January 17-19, Jg. 42 (2007), Heft 1, S. 265-276KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 446-455KonferenzZugriff:
-
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. 308-319KonferenzZugriff:
-
In: Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, S. 309-326KonferenzZugriff:
-
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: Proceedings of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'05, Jg. 40 (2005), Heft 6, S. 62-72KonferenzZugriff:
-
In: CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004), 2004, S. 1-15KonferenzZugriff: