Search Results - "software"

  1. 181

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

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

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

    Published 2023
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  3. 183

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

    Published 2023
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  4. 184

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

    Published 2023
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  5. 185

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

    Published 2017
    Subjects: “…Computer programming / software development bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 186

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

    Published 2017
    Subjects: “…Computer programming / software development bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  7. 187

    Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model /

    Published 2013
    Subjects: “…Application software.…”
    Link to Metadata
    Electronic eBook
  8. 188
  9. 189

    GUI Design for Android Apps by Cohen, Ryan, Wang, Tao

    Published 2014
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  10. 190

    Model Transformation Languages with Modular Information Hiding by Rentschler, Andreas

    Published 2015
    Subjects: “…software maintenance…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  11. 191

    Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

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

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

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

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

    Published 2023
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  14. 194

    Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

    Published 2024
    Subjects: “…Software engineering.…”
    Link to Metadata
    Electronic eBook
  15. 195

    Managed Software Evolution

    Published 2019
    Subjects: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 196
  17. 197

    Managed Software Evolution

    Published 2019
    Subjects: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  18. 198
  19. 199
  20. 200