Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 5 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 5 Treffer
- 020207 software engineering 5 Treffer
- proof assistant 5 Treffer
- semantics (computer science) 5 Treffer
-
45 weitere Werte:
- 020204 information systems 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- compiler correctness 2 Treffer
- computer science - programming languages 2 Treffer
- concurrency 2 Treffer
- correctness 2 Treffer
- fos: computer and information sciences 2 Treffer
- modular design 2 Treffer
- programming languages (cs.pl) 2 Treffer
- separation logic 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 01 natural sciences 1 Treffer
- 0103 physical sciences 1 Treffer
- 010302 applied physics 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- 16. peace & justice 1 Treffer
- atomicity 1 Treffer
- benchmark (computing) 1 Treffer
- bisimulation 1 Treffer
- causal consistency 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- compiler construction 1 Treffer
- complex number 1 Treffer
- computer science - emerging technologies 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- computer.programming_language 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- coq 1 Treffer
- denotational semantics 1 Treffer
- distributed computing 1 Treffer
- distributed database 1 Treffer
- distributed object 1 Treffer
- distributed systems 1 Treffer
- emerging technologies (cs.et) 1 Treffer
- field-programmable gate array 1 Treffer
- fos: physical sciences 1 Treffer
- functional programming 1 Treffer
- higher-order logic 1 Treffer
- instruction set 1 Treffer
- integer (computer science) 1 Treffer
Sprache
8 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-15Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-10-15), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-28Online unknownZugriff: