檢索結果 - "Theoretical Computer Science and General Issues"

在您的搜尋 主題建議
Refine Results
  1. 21
    封面圖片

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    出版 2021
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  2. 22
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  3. 23
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  4. 24
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  5. 25
    封面圖片

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

    出版 2021
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  6. 26
    封面圖片

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

    出版 2021
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  7. 27
    封面圖片

    Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

    出版 2021
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  8. 28
    封面圖片

    Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

    出版 2018
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  9. 29
    封面圖片

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

    出版 2018
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  10. 30
    封面圖片

    Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    出版 2018
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  11. 31
    封面圖片

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

    出版 2018
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  12. 32
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  13. 33
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  14. 34
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  15. 35
    封面圖片

    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
    “...Theoretical Computer Science and General Issues,...”
    Link to Metadata
    電子 電子書

    加到收藏夾
    Saved in:
  16. 36
    封面圖片

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

    出版 2018
    “...Theoretical Computer Science and General Issues...”
    DOAB: download the publication
    DOAB: description of the publication
    電子 Book Chapter

    加到收藏夾
    Saved in:
  17. 37
    封面圖片

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

    出版 2018
    “...Theoretical Computer Science and General Issues...”
    DOAB: download the publication
    DOAB: description of the publication
    電子 Book Chapter

    加到收藏夾
    Saved in:
  18. 38
    封面圖片

    Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

    出版 2018
    “...Theoretical Computer Science and General Issues...”
    DOAB: download the publication
    DOAB: description of the publication
    電子 Book Chapter

    加到收藏夾
    Saved in:
  19. 39
    封面圖片

    Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

    出版 2018
    “...Theoretical Computer Science and General Issues...”
    DOAB: download the publication
    DOAB: description of the publication
    電子 Book Chapter

    加到收藏夾
    Saved in:
  20. 40
    封面圖片

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

    出版 2018
    “...Theoretical Computer Science and General Issues...”
    DOAB: download the publication
    DOAB: description of the publication
    電子 Book Chapter

    加到收藏夾
    Saved in:

檢索工具: