Search Results - "program"

  1. 81
  2. 82
  3. 83

    Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant by Chlipala, Adam

    Published 2013
    Subjects: “…Mobile & handheld device programming / Apps programming bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 84

    Interactive Multimedia

    Published 2012
    Subjects: “…Graphics programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 85

    Computer Graphics

    Published 2012
    Subjects: “…Graphics programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 86

    Computer Graphics and Imaging

    Published 2019
    Subjects: “…Graphics programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 87

    Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security by Mohr, Martin

    Published 2023
    Subjects: “…Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 88

    Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

    Published 2020
    Subjects: “…Community Education Program (CEP)…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 89

    Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

    Published 2020
    Subjects: “…Community Education Program (CEP)…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  10. 90

    Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security by Mohr, Martin

    Published 2023
    Subjects: “…Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  11. 91

    Legal Grounds III: Reproductive and Sexual Rights in Sub-Saharan African Courts by Godfrey Dalitso Kangaude

    Published 2017
    Subjects: “…sexual rights HIV Reproductive rights Sub-Saharan African Courts Sexual Health Law Program Child Marriage Sexual Abuse Maternal Health Care Abortion Adoption Surrogacy…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 92

    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache by Weigelt, Sebastian

    Published 2022
    Subjects: “…Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  13. 93

    Formare i docenti universitari alla didattica e alla valutazione Temi di approfondimento ed efficacia dei percorsi IRIDI

    Published 2022
    Subjects: “…Faculty Development, Academic teacher, Development program on teaching and learning, Effectiveness, Impact, Higher education…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 94

    Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache by Weigelt, Sebastian

    Published 2022
    Subjects: “…Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  15. 95

    Formare i docenti universitari alla didattica e alla valutazione Temi di approfondimento ed efficacia dei percorsi IRIDI

    Published 2022
    Subjects: “…Faculty Development, Academic teacher, Development program on teaching and learning, Effectiveness, Impact, Higher education…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  16. 96

    Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL by Reinders, James

    Published 2023
    Subjects: “…FPGA programming…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  17. 97
  18. 98

    Android Application Development for the Intel Platform by Cohen, Ryan, Wang, Tao

    Published 2014
    Subjects: “…Computer programming.…”
    Link to Metadata
    Electronic eBook
  19. 99
  20. 100