Search Results - NAPPC~

Refine Results
  1. 2561
  2. 2562
  3. 2563
  4. 2564
  5. 2565
  6. 2566
  7. 2567

    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
  8. 2568

    Global Health Collaboration Challenges and Lessons /

    Published 2018
    Link to Metadata
    Electronic eBook
  9. 2569
  10. 2570
  11. 2571
  12. 2572
  13. 2573
  14. 2574
  15. 2575
  16. 2576
  17. 2577
  18. 2578
  19. 2579
  20. 2580