Search Results - "Computer programming / software engineering"

Suggested Topics within your search.
Refine Results
  1. 1
    Cover Image

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

    Published 2013
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Interfaces on Trial 2.0 by Band, Jonathan

    Published 2011
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Computer-Driven Instructional Design with INTUITEL

    Published 2017
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 4
    Cover Image

    Behavioural Types From Theory to Tools

    Published 2017
    Subjects: “…Computer programming / software engineering;Energy…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 5
    Cover Image

    Computer-Driven Instructional Design with INTUITEL

    Published 2017
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 6
    Cover Image

    Behavioural Types From Theory to Tools

    Published 2017
    Subjects: “…Computer programming / software engineering;Energy…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 7
    Cover Image

    Code/Space Software and Everyday Life by Kitchin, Rob

    Published 2011
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 8
    Cover Image

    Engineering Agile Big-Data Systems by Feeney, Kevin

    Published 2018
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 9
    Cover Image

    Engineering Agile Big-Data Systems by Feeney, Kevin

    Published 2018
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 10
    Cover Image

    Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

    Published 2017
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 11
    Cover Image

    Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

    Published 2017
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 12
    Cover Image

    Critical Perspectives on Open Development Empirical Interrogation of Theory Construction

    Published 2020
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 13
    Cover Image

    Introduction to Scientific Programming with Python by Sundnes, Joakim

    Published 2020
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 14
    Cover Image

    Introduction to Scientific Programming with Python by Sundnes, Joakim

    Published 2020
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 15
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 16
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 17
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 18
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 19
    Cover Image

    Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 20
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

    Published 2021
    Subjects: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: