Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 1 Treffer
- 0103 physical sciences 1 Treffer
- 010302 applied physics 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- architecture 1 Treffer
-
19 weitere Werte:
- backtracking 1 Treffer
- bounded function 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- computer 1 Treffer
- computer.file_format 1 Treffer
- data structure 1 Treffer
- embedded system 1 Treffer
- executable 1 Treffer
- focus (computing) 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- machine code 1 Treffer
- pruning (decision trees) 1 Treffer
- representation (mathematics) 1 Treffer
- software engineering 1 Treffer
- software verification 1 Treffer
- speedup 1 Treffer
- theoretical computer science 1 Treffer
Sprache
2 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-24Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-25Online unknownZugriff: