Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming languages 27 Treffer
- functional programming (computer science) 13 Treffer
- mathematical proofs 12 Treffer
- proof theory 12 Treffer
- calculus 11 Treffer
-
45 weitere Werte:
- computer algorithms 9 Treffer
- computer programming 9 Treffer
- computer software 9 Treffer
- data analysis 9 Treffer
- data structures 9 Treffer
- computer programmers 6 Treffer
- homotopy theory 6 Treffer
- isomorphisms 6 Treffer
- javascript programming language 6 Treffer
- pattern matching 6 Treffer
- recursive functions 6 Treffer
- semantics 6 Treffer
- functional programming languages 4 Treffer
- mathematical logic 4 Treffer
- algorithms 3 Treffer
- bit rate 3 Treffer
- classrooms 3 Treffer
- codecs 3 Treffer
- compilers (computer programs) 3 Treffer
- computer science 3 Treffer
- data libraries 3 Treffer
- debate 3 Treffer
- distributive law (mathematics) 3 Treffer
- electronic data processing 3 Treffer
- feature extraction 3 Treffer
- fonts & typefaces 3 Treffer
- haskell (computer program language) 3 Treffer
- homotopy equivalences 3 Treffer
- information theory 3 Treffer
- integer programming 3 Treffer
- internet publishing 3 Treffer
- internetworking 3 Treffer
- lambda calculus 3 Treffer
- libraries 3 Treffer
- linear network coding 3 Treffer
- machine theory 3 Treffer
- mathematical analysis 3 Treffer
- mechanization 3 Treffer
- metalanguage 3 Treffer
- metatheory 3 Treffer
- modular design 3 Treffer
- modules (algebra) 3 Treffer
- natural numbers 3 Treffer
- normalization (sociology) 3 Treffer
- ocaml (computer program language) 3 Treffer
Verlag
Sprache
113 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 32 (2022), S. 1-53Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-38Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 28 (2018), S. N.PAG- (44S.)Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-67Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 30 (2020), S. 1-14Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Functional Programming, 2018academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 29 (2019), S. 1-43Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 29 (2019), S. 1-82Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 21 (2011-05-01), Heft 3, S. 287-307academicJournalZugriff: