অনুসন্ধান ফলাফলগুলি - "system analysis"

  1. 41

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    প্রকাশিত 2020
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  2. 42

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    প্রকাশিত 2021
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  3. 43

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    প্রকাশিত 2023
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  4. 44

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  5. 45

    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
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  6. 46

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  7. 47

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  8. 48

    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
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  9. 49

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  10. 50

    Mathematical Aspects of Logic Programming Semantics অনুযায়ী Hitzler, Pascal

    প্রকাশিত 2011
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  11. 51

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  12. 52

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  13. 53

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  14. 54

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

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  15. 55

    Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  16. 56

    Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

    প্রকাশিত 2019
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  17. 57

    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
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  18. 58

    Software for Exascale Computing - SPPEXA 2016-2019

    প্রকাশিত 2020
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  19. 59

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

    প্রকাশিত 2020
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  20. 60

    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
    বিষয়গুলি: “…Systems analysis & design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়