खोज परिणाम - "software designer"

  1. 41

    Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

    प्रकाशित 2020
    विषय: “…Software design engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  2. 42

    Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

    प्रकाशित 2020
    विषय: “…Software design engineering…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  3. 43

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

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  4. 44

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

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  5. 45

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

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  6. 46

    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,...

    प्रकाशित 2021
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  7. 47

    The Once-Only Principle The TOOP Project

    प्रकाशित 2021
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  8. 48

    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,...

    प्रकाशित 2021
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  9. 49

    The Once-Only Principle The TOOP Project

    प्रकाशित 2021
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  10. 50

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

    प्रकाशित 2020
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  11. 51

    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...

    प्रकाशित 2020
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  12. 52

    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...

    प्रकाशित 2020
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  13. 53

    The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

    प्रकाशित 2020
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  14. 54

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

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  15. 55

    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...

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  16. 56

    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...

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  17. 57

    The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

    प्रकाशित 2020
    विषय: “…software design…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  18. 58

    Advances in Artificial Intelligence: Models, Optimization, and Machine Learning

    प्रकाशित 2022
    विषय: “…software design…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  19. 59

    Architecture-based Evolution of Dependable Software-intensive Systems द्वारा Heinrich, Robert

    प्रकाशित 2023
    “…The Karlsruhe Series on Software Design and Quality…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  20. 60

    Evaluating Architectural Safeguards for Uncertain AI Black-Box Components द्वारा Scheerer, Max

    प्रकाशित 2023
    “…The Karlsruhe Series on Software Design and Quality…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय