Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer software 6 Treffer
- data analysis 6 Treffer
- functional programming (computer science) 6 Treffer
- semantics 5 Treffer
- bit rate 3 Treffer
-
17 weitere Werte:
- codecs 3 Treffer
- computer programming 3 Treffer
- feature extraction 3 Treffer
- information theory 3 Treffer
- isomorphisms 3 Treffer
- machine theory 3 Treffer
- mathematical analysis 3 Treffer
- modules (algebra) 3 Treffer
- pattern matching 3 Treffer
- programming languages 3 Treffer
- recursion theory 3 Treffer
- tree graphs 3 Treffer
- verification of computer systems 3 Treffer
- calculus 2 Treffer
- mathematical functions 2 Treffer
- mathematical simplification 2 Treffer
- morphisms (mathematics) 2 Treffer
Publikation
Sprache
5 Treffer
-
In: Journal of Functional Programming, Jg. 18 (2008-11-01), Heft 5/6, S. 599-647academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 26 (2016-03-01), Heft 3, S. 465-509Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 26 (2016), S. 1-61Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 24 (2014-05-01), Heft 2/3, S. 284-315Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 22 (2012-09-01), Heft 4/5, S. 529-573Online academicJournalZugriff: