Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- proof assistant 2 Treffer
- subtyping 2 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- advice (complexity) 1 Treffer
- aspect-oriented programming 1 Treffer
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- code (cryptography) 1 Treffer
- compiler 1 Treffer
- computer.file_format 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- correctness 1 Treffer
- cryptographic primitive 1 Treffer
- decidability 1 Treffer
- design 1 Treffer
- extension (predicate logic) 1 Treffer
- formal verification 1 Treffer
- generalization 1 Treffer
- gradual typing 1 Treffer
- implementation 1 Treffer
- languages 1 Treffer
- mathematical proof 1 Treffer
- metatheory 1 Treffer
- modular design 1 Treffer
- operational semantics 1 Treffer
- pointcut 1 Treffer
- relation (database) 1 Treffer
- safety, risk, reliability and quality 1 Treffer
- semantics 1 Treffer
- semantics (computer science) 1 Treffer
- separation logic 1 Treffer
- software_programminglanguages 1 Treffer
- software_programmingtechniques 1 Treffer
- soundness 1 Treffer
- system f 1 Treffer
- theoretical computer science 1 Treffer
- theory 1 Treffer
Sprache
4 Treffer
-
In: ACM Transactions on Programming Languages and Systems, Jg. 44 (2022-09-21), S. 1-54Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 42 (2019-11-21), S. 1-79Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 37 (2015-04-16), S. 1-31Online unknownZugriff: