Search Results - "software"

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

    Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

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

    Save to List
    Saved in:
  2. 222
    Cover Image

    Introduction to Scientific Programming with Python by Sundnes, Joakim

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

    Save to List
    Saved in:
  3. 223
    Cover Image

    Introduction to Scientific Programming with Python by Sundnes, Joakim

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

    Save to List
    Saved in:
  4. 224
    Cover Image

    Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

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

    Save to List
    Saved in:
  5. 225
    Cover Image

    Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers /

    Published 2022
    Subjects: “…Application software.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 226
    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 bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 227
    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 bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 228
    Cover Image

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

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

    Save to List
    Saved in:
  9. 229
    Cover Image

    The Once-Only Principle The TOOP Project

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

    Save to List
    Saved in:
  10. 230
    Cover Image

    The Once-Only Principle The TOOP Project

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

    Save to List
    Saved in:
  11. 231
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

    Save to List
    Saved in:
  12. 232
    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 bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 233
    Cover Image

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

    Save to List
    Saved in:
  14. 234
    Cover Image

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

    Save to List
    Saved in:
  15. 235
    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 bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 236
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

    Save to List
    Saved in:
  17. 237
    Cover Image

    Sensor Technologies Healthcare, Wellness and Environmental Applications / by McGrath, Michael J., Ni Scanaill, Cliodhna, Nafus, Dawn

    Published 2013
    Subjects: “…Microsoft software.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  18. 238
    Cover Image

    Database Performance at Scale A Practical Guide / by Mendes, Felipe Cardeneti, Sarna, Piotr, Emelyanov, Pavel, Dunlop, Cynthia

    Published 2023
    Subjects: “…Open source software.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  19. 239
    Cover Image

    Solving PDEs in Python: The FEniCS Tutorial I by Langtangen, Hans Petter

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

    Save to List
    Saved in:
  20. 240
    Cover Image

    Market Relations and the Competitive Process by Warde, Alan

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

    Save to List
    Saved in:

Search Tools: