Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- design 3 Treffer
- computer science 2 Treffer
- cscw 2 Treffer
- science & technology 2 Treffer
- software development 2 Treffer
-
21 weitere Werte:
- software engineering 2 Treffer
- technology 2 Treffer
- 0803 computer software 1 Treffer
- 0806 information systems 1 Treffer
- anthro-se 1 Treffer
- automatic software verification 1 Treffer
- blockchain 1 Treffer
- compilers 1 Treffer
- constraint solving 1 Treffer
- electrical engineering 1 Treffer
- ethnography 1 Treffer
- g400 computer science 1 Treffer
- manag 1 Treffer
- model checking 1 Treffer
- opencl 1 Treffer
- program synthesis 1 Treffer
- programs 1 Treffer
- software vulnerability 1 Treffer
- translation validation 1 Treffer
- verification 1 Treffer
- weak memory models 1 Treffer
Geographischer Bezug
28 Treffer
-
2021KonferenzZugriff:
-
In: Proceedings of the 27th Australian Computer-Human Interaction Conference (OzCHI 2015; (2015)BuchZugriff:
-
In: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education; (2015)BuchZugriff:
-
In: Proceedings of the 27th Australian Computer-Human Interaction Conference (OzCHI 2015, 2015Online KonferenzZugriff:
-
2018Online academicJournalZugriff:
-
2012academicJournalZugriff:
-
2011academicJournalZugriff:
-
In: Proceedings of the 11th Asia Pacific Conference on Computer Human Interaction; (2013)BuchZugriff:
-
2022Online academicJournalZugriff:
-
2021Online academicJournalZugriff:
-
2017academicJournalZugriff:
-
2023Online academicJournalZugriff:
-
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) ; 942 ; 927, 2020Online KonferenzZugriff:
-
In: ACM Principles of Programming Languages 2017 ; 204 ; 190, 2016Online KonferenzZugriff:
-
In: http://infoscience.epfl.ch/record/301756, 2023Online academicJournalZugriff:
-
In: ISSTAInternational Symposium on Software Testing and Analysis ; 104 ; 93, 2014Online KonferenzZugriff:
-
2019academicJournalZugriff:
-
2012KonferenzZugriff: