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

  1. 181

    Introduction to Scientific Programming with Python द्वारा Sundnes, Joakim

    प्रकाशित 2020
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  2. 182

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

    प्रकाशित 2020
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  3. 183

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    प्रकाशित 2021
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  4. 184

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    प्रकाशित 2021
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  5. 185

    Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings /

    प्रकाशित 2017
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  6. 186

    Electronic Imaging & the Visual Arts. EVA 2015 Florence 13-14 May 2015

    प्रकाशित 2015
    विषय: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  7. 187

    AXMEDIS 2008 Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-Channel Distribution.Workshops, Panels and Industrial Applicat...

    प्रकाशित 2008
    विषय: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  8. 188

    ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

    प्रकाशित 2012
    विषय: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  9. 189

    AXMEDIS 2008 Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-Channel Distribution.Workshops, Panels and Industrial Applicat...

    प्रकाशित 2008
    विषय: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  10. 190

    ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

    प्रकाशित 2012
    विषय: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  11. 191

    Electronic Imaging & the Visual Arts. EVA 2015 Florence 13-14 May 2015

    प्रकाशित 2015
    विषय: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  12. 192

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

    प्रकाशित 2019
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  13. 193

    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 engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  14. 194

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    प्रकाशित 2018
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  15. 195

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    प्रकाशित 2018
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  16. 196

    Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

    प्रकाशित 2019
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  17. 197

    Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

    प्रकाशित 2020
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  18. 198

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

    प्रकाशित 2018
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  19. 199

    Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

    प्रकाशित 2022
    विषय: “…Software engineering.…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  20. 200

    Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant द्वारा Chlipala, Adam

    प्रकाशित 2013
    विषय: “…Computer programming / software engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय