Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '"functional programming"', query time: 0.10s Refine Results
  1. 1
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 2
    Edge Computing for Internet of Things

    Edge Computing for Internet of Things

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 3
    The discovery of Top-K DNA frequent patterns with approximate method / Nittaya Kerdprasop and Kittisak Kerdprasop

    The discovery of Top-K DNA frequent patterns with approximate method / Nittaya Kerdprasop and Kittisak Kerdprasop by Kerdprasop, Nittaya, Kerdprasop, Kittisak

    Published 2014
    Link Metadata
    Book
    Save to List
    Saved in:
  4. 4
    Structure and Interpretation of Computer Programs

    Structure and Interpretation of Computer Programs by Abelson, Harold

    Published 1996
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 5
    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 6
    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

    Published 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 7
    PENGEMBANGAN MODEL LAPORAN HASIL BELAJAR BERBASIS ASESMEN UNTUK ANAK TUNAGRAHITA DI SEKOLAH LUAR BIASA

    PENGEMBANGAN MODEL LAPORAN HASIL BELAJAR BERBASIS ASESMEN UNTUK ANAK TUNAGRAHITA DI SEKOLAH LUAR BIASA by Iswandi, Agus

    Published 2014
    Link Metadata
    Book
    Save to List
    Saved in:

Search Tools: