Результаты поиска - "software engineer"

  1. 161

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

    Опубликовано 2021
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  2. 162

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

    Опубликовано 2022
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  3. 163

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

    Опубликовано 2022
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  4. 164

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

    Опубликовано 2023
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  5. 165

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

    Опубликовано 2023
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  6. 166

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

    Опубликовано 2023
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  7. 167

    GUI Design for Android Apps по Cohen, Ryan, Wang, Tao

    Опубликовано 2014
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  8. 168

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

    Опубликовано 2021
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  9. 169

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

    Опубликовано 2023
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  10. 170

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

    Опубликовано 2024
    Оглавление: “...Evolving Division of Responsibilities in a B2B Platform -- Understanding User Feedback in Software Ecosystems: A Study on Challenges and Mitigation Strategies -- A Survey on Perceptions of Data Sharing in the Norwegian Public Sector -- What are the barriers that women face in proprietary software ecosystem -- Artificial Intelligence -- Business and ethical concerns in domestic Conversational Generative AI-empowered multi-robot systems -- Prompt Patterns for Agile Software Project Managers: First results -- Startup creation beyond hackathons - A survey on startup development and support -- How to start collaborations between SMEs and researchers in software engineering -- Towards a Business Case for AI Ethics -- What is the Cost of AI Ethics? ...”
    Link to Metadata
    Электронный ресурс eКнига
  11. 171

    Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /

    Опубликовано 2016
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  12. 172

    Managed Software Evolution

    Опубликовано 2019
    Предметы: “...Software Engineering bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  13. 173

    Managed Software Evolution

    Опубликовано 2019
    Предметы: “...Software Engineering bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  14. 174

    Deriving Goal-oriented Performance Models by Systematic Experimentation по Westermann, Dennis

    Опубликовано 2014
    Предметы: “...Performance Software Engineering ModellierungPerformance Engineering Software Modeling...”
    DOAB: download the publication
    DOAB: description of the publication
    Электронный ресурс Глава книги
  15. 175

    Interfaces on Trial 2.0 по Band, Jonathan

    Опубликовано 2011
    Предметы: “...Software Engineering bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Электронный ресурс Глава книги
  16. 176

    Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /

    Опубликовано 2022
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  17. 177

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

    Опубликовано 2022
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  18. 178

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

    Опубликовано 2020
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  19. 179

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

    Опубликовано 2022
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига
  20. 180

    Solving PDEs in Python The FEniCS Tutorial I / по Langtangen, Hans Petter, Logg, Anders

    Опубликовано 2016
    Предметы: “...Software engineering....”
    Link to Metadata
    Электронный ресурс eКнига