Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming languages 5 Treffer
- computer multitasking 4 Treffer
- computer security 4 Treffer
- data integrity 4 Treffer
- data protection 4 Treffer
-
40 weitere Werte:
- differential privacy 4 Treffer
- kernel operating systems 4 Treffer
- semantic networks (information theory) 4 Treffer
- software frameworks 4 Treffer
- application software 3 Treffer
- computer software development 3 Treffer
- semantics 3 Treffer
- algebraic topology 2 Treffer
- cloud computing 2 Treffer
- compilers (computer programs) 2 Treffer
- component 2 Treffer
- concurrency 2 Treffer
- conflicts 2 Treffer
- coq 2 Treffer
- coq proof assistant 2 Treffer
- dependencies 2 Treffer
- determinism 2 Treffer
- formalization of mathematics 2 Treffer
- freeware (computer software) 2 Treffer
- homology theory 2 Treffer
- open source 2 Treffer
- open source software 2 Treffer
- persistent homology 2 Treffer
- proof theory 2 Treffer
- software architecture 2 Treffer
- software engineering 2 Treffer
- synchronous data transmission systems 2 Treffer
- verification 2 Treffer
- artificial intelligence 1 Treffer
- artificial languages 1 Treffer
- computational algebraic topology 1 Treffer
- computer software 1 Treffer
- computer software correctness 1 Treffer
- computer systems 1 Treffer
- electronic data processing 1 Treffer
- electronic systems 1 Treffer
- package management 1 Treffer
- sequentialization 1 Treffer
- software verification 1 Treffer
- standards 1 Treffer
Publikation
Sprache
6 Treffer
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), Heft 4, S. 1-16Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 35 (2013-11-01), Heft 3, S. 9-57Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 62 (2019-10-01), Heft 10, S. 89-99Online serialPeriodicalZugriff:
-
In: ICSE: International Conference on Software Engineering, 2017, S. 109-111Online KonferenzZugriff:
-
In: Communications of the ACM, Jg. 53 (2010-12-01), Heft 12, S. 56-66Online academicJournalZugriff:
-
In: ACM Transactions on Software Engineering & Methodology, Jg. 22 (2013-10-01), Heft 4, S. 34:1- (35S.)Online academicJournalZugriff: