Résultats de la recherche - "theoretical computer science"

  1. 21

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

    Publié 2019
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  2. 22

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

    Publié 2019
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  3. 23

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  4. 24

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  5. 25

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  6. 26

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  7. 27

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  8. 28

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  9. 29

    Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  10. 30

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  11. 31

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

    Publié 2020
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  12. 32

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  13. 33

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  14. 34

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  15. 35

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  16. 36

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  17. 37

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  18. 38

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  19. 39

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

    Publié 2021
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook
  20. 40

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

    Publié 2018
    “…Theoretical Computer Science and General Issues,…”
    Link to Metadata
    Électronique eBook