Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- blockchain 4 Treffer
- blockchains 4 Treffer
- calculi 4 Treffer
- calculus 4 Treffer
- government ownership 4 Treffer
-
13 weitere Werte:
- linearity 4 Treffer
- model checking 4 Treffer
- obsidian 4 Treffer
- permissions 4 Treffer
- refuse collection 4 Treffer
- rust 4 Treffer
- smart contracts 4 Treffer
- steel corrosion 4 Treffer
- supply chain management 4 Treffer
- type systems 4 Treffer
- type theory 4 Treffer
- typestate 2 Treffer
- alias control 1 Treffer
Sprache
2 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 42 (2020-11-01), Heft 3, S. 1-82Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 43 (2021-04-01), Heft 1, S. 1-73Online academicJournalZugriff: