Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- flowgraphs 16 Treffer
- program slicing 9 Treffer
- software engineering 9 Treffer
- scalability 8 Treffer
- algorithms 7 Treffer
-
45 weitere Werte:
- computer programming 6 Treffer
- computer science 6 Treffer
- computer software 6 Treffer
- computer software development 6 Treffer
- control flow graph 6 Treffer
- bison 5 Treffer
- obfuscation 5 Treffer
- software 5 Treffer
- static analysis 5 Treffer
- applied sciences 4 Treffer
- cellular automata 4 Treffer
- cfg 4 Treffer
- computer science; control theory; systems 4 Treffer
- computers 4 Treffer
- design 4 Treffer
- electronic systems 4 Treffer
- exact sciences and technology 4 Treffer
- experimentation 4 Treffer
- formal verification 4 Treffer
- grammar 4 Treffer
- hardware trojan detection 4 Treffer
- hardware trojans (computers) 4 Treffer
- informatique 4 Treffer
- informatique; automatique theorique; systemes 4 Treffer
- logiciel 4 Treffer
- multiprocessors 4 Treffer
- multiprogramming (electronic computers) 4 Treffer
- parallel processing 4 Treffer
- parsing (grammar) 4 Treffer
- performance 4 Treffer
- sciences appliquees 4 Treffer
- sciences exactes et technologie 4 Treffer
- software libraries (computer programming) 4 Treffer
- subgraphs 4 Treffer
- timing dependency 4 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- computer algorithms 3 Treffer
- computer systems 3 Treffer
- control flow integrity 3 Treffer
- embedding 3 Treffer
- formal languages 3 Treffer
- genie logiciel 3 Treffer
- graph neural network 3 Treffer
- iterative methods (mathematics) 3 Treffer
- langages de programmation 3 Treffer
Publikation
- acm transactions on programming languages & systems 19 Treffer
- icse: international conference on software engineering 16 Treffer
- acm transactions on embedded computing systems 11 Treffer
- acm international conference proceeding series 7 Treffer
- acm transactions on programming languages and systems 4 Treffer
-
17 weitere Werte:
- acm / sigplan notices 2 Treffer
- acm transactions on software engineering & methodology 2 Treffer
- digital threats: research & practice 2 Treffer
- annual conference on innovation and technology in computer science education, iticse 1 Treffer
- dac: annual acm/ieee design automation conference 1 Treffer
- international conference on architectural support for programming languages and operating systems - asplos 1 Treffer
- issn: 1544-3566 1 Treffer
- issn: 2692-1626 1 Treffer
- journal of the acm 1 Treffer
- journal of the association for computing machinery 1 Treffer
- mit web domain 1 Treffer
- proceedings of the 2nd international conference: security of information & networks 1 Treffer
- proceedings of the acm conference on computer and communications security 1 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 1 Treffer
- proceedings of the acm symposium on applied computing 1 Treffer
- proceedings of the conference: design, automation & test in europe 1 Treffer
- proceedings of the third acm sigplan international conference: functional programming 1 Treffer
Sprache
90 Treffer
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-02), S. 1-25Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: ACM Transactions on Software Engineering & Methodology, Jg. 32 (2023-07-01), Heft 4, S. 1-34Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-06-01), Heft 2, S. 1-68Online academicJournalZugriff:
-
In: Proceedings of the 2nd International Conference: Security of Information & Networks, 2009-10-06, S. 225-228Online KonferenzZugriff:
-
In: Proceedings of the Conference: Design, Automation & Test in Europe, Jg. 1 (2005-03-07), S. 606-611KonferenzZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 44 (2022), Heft 1, S. 1-37Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 43 (2021-12-01), Heft 5, S. 1-37Online academicJournalZugriff:
-
In: ACM / SIGPLAN Notices, Jg. 40 (2005-04-01), Heft 4, S. 10-19Online academicJournalZugriff:
-
2023Online Elektronische Ressource
-
In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 1037-1048Online KonferenzZugriff:
-
In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 999-1010Online KonferenzZugriff:
-
In: DAC: Annual ACM/IEEE Design Automation Conference, 2008-02-01, S. 137-142Online KonferenzZugriff:
-
In: Digital Threats: Research & Practice, Jg. 4 (2023-06-01), Heft 2, S. 1-27Online academicJournalZugriff:
-
In: ICSE: International Conference on Software Engineering, 2021-05-22, S. 1695-1707Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: