Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Verlag: springer nature switzerland
- Entferne Filter: Publikation: programming languages and systems : 33rd european symposium on programming, esop 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part ii
- Entferne Filter: Art der Quelle: eBooks
- Entferne Filter: Art der Quelle: Trade Publications
Weniger Treffer
Art der Quelle
Thema
- abstract interpretation 2 Treffer
- static analysis 2 Treffer
- arrows 1 Treffer
- compiler optimizations 1 Treffer
- concurrency 1 Treffer
-
23 weitere Werte:
- constraints 1 Treffer
- denotational semantics 1 Treffer
- domain-specific languages 1 Treffer
- exceptions 1 Treffer
- functional programming 1 Treffer
- higher-order term rewriting 1 Treffer
- lambda calculus 1 Treffer
- machine-checked proofs 1 Treffer
- memoization 1 Treffer
- monads 1 Treffer
- pattern matching 1 Treffer
- probabilistic programming 1 Treffer
- program equivalence 1 Treffer
- program refinement 1 Treffer
- quantum computing 1 Treffer
- regular expression 1 Treffer
- reversible computation 1 Treffer
- semantics 1 Treffer
- shared memory 1 Treffer
- shared state 1 Treffer
- verification 1 Treffer
- verified compilation 1 Treffer
- weak memory models 1 Treffer
Inhaltsanbieter
16 Treffer
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2024Online E-BookZugriff: