Search Results - "software engineering"

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

    Introduction to Scientific Programming with Python by Sundnes, Joakim

    Published 2020
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 182
    Cover Image

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /

    Published 2020
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  3. 183
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  4. 184
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  5. 185
    Cover Image

    Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings /

    Published 2017
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 186
    Cover Image

    Electronic Imaging & the Visual Arts. EVA 2015 Florence 13-14 May 2015

    Published 2015
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 187
    Cover Image

    AXMEDIS 2008 Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-Channel Distribution.Workshops, Panels and Industrial Applicat...

    Published 2008
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 188
    Cover Image

    ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

    Published 2012
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 189
    Cover Image

    AXMEDIS 2008 Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-Channel Distribution.Workshops, Panels and Industrial Applicat...

    Published 2008
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 190
    Cover Image

    ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

    Published 2012
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 191
    Cover Image

    Electronic Imaging & the Visual Arts. EVA 2015 Florence 13-14 May 2015

    Published 2015
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 192
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2019
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  13. 193
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2020
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 194
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 195
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  16. 196
    Cover Image

    Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

    Published 2019
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  17. 197
    Cover Image

    Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

    Published 2020
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  18. 198
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2018
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  19. 199
    Cover Image

    Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

    Published 2022
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  20. 200
    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:

Search Tools: