Search Results - "software"

Suggested Topics within your search.
Refine Results
  1. 1621
    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:
  2. 1622
    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:
  3. 1623
    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:
  4. 1624
    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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

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

    Save to List
    Saved in:
  5. 1625
    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:
  6. 1626
    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:
  7. 1627
    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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

    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. 1628
    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:
  9. 1629
    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:
  10. 1630
    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:
  11. 1631
    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:
  12. 1632
    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:
  13. 1633
    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 by Stefano Zacchiroli

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

    Save to List
    Saved in:
  14. 1634
    Cover Image

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

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

    Save to List
    Saved in:
  15. 1635
    Cover Image

    Market Relations and the Competitive Process by Warde, Alan

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

    Save to List
    Saved in:
  16. 1636
    Cover Image

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

    Published 2020
    Table of Contents: “…Model Checking -- Software Verification -- Stochastic Systems -- Synthesis.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  17. 1637
    Cover Image

    Recent Advances in Industrial and Applied Mathematics

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

    Save to List
    Saved in:
  18. 1638
    Cover Image

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

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

    Save to List
    Saved in:
  19. 1639
    Cover Image

    Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /

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

    Save to List
    Saved in:
  20. 1640
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

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

    Save to List
    Saved in:

Search Tools: