Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Schlagwort: 0202 electrical engineering, electronic engineering, information engineering
- Entferne Filter: Schlagwort: software
- Entferne Filter: Schlagwort: programming language
- Entferne Filter: Publikation: proceedings of the acm on programming languages
- Entferne Filter: Schlagwort: semantics (computer science)
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 3 Treffer
- correctness 3 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- computer.programming_language 2 Treffer
-
39 weitere Werte:
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 0101 mathematics 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- agda 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- concurrency 1 Treffer
- cuda 1 Treffer
- execution model 1 Treffer
- functional programming 1 Treffer
- general-purpose computing on graphics processing units 1 Treffer
- haskell 1 Treffer
- interface (java) 1 Treffer
- language construct 1 Treffer
- large set (ramsey theory) 1 Treffer
- matching (statistics) 1 Treffer
- mathematical proof 1 Treffer
- memory management 1 Treffer
- mlton 1 Treffer
- multiple dispatch 1 Treffer
- optimizing compiler 1 Treffer
- pattern matching 1 Treffer
- proof assistant 1 Treffer
- rational reconstruction 1 Treffer
- relation (database) 1 Treffer
- router 1 Treffer
- satisfiability modulo theories 1 Treffer
- semantics 1 Treffer
- set (abstract data type) 1 Treffer
- software_programmingtechniques 1 Treffer
- solver 1 Treffer
- soundness 1 Treffer
- standard ml 1 Treffer
- subtyping 1 Treffer
- task parallelism 1 Treffer
- tuple 1 Treffer
- type (model theory) 1 Treffer
Sprache
5 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-31Online unknownZugriff:
-
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. 2 (2018-07-30), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, 2018Online unknownZugriff: