Materias dentro de su búsqueda.
Mostrando 41 - 60 Resultados de 136 Para Buscar '"Theoretical Computer Science"', tiempo de consulta: 0.13s Limitar resultados
  1. 41
    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, Part III
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  2. 42
    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 of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  3. 43
    Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  4. 44
    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
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  5. 45
    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
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  6. 46
    Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  7. 47
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  8. 48
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  9. 49
    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, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  10. 50
    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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
    por Groote, Jan Friso
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  11. 51
    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, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
    por Yoshida, Nobuko
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  12. 52
    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 Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
    por Kiefer, Stefan
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  13. 53
    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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
    por Groote, Jan Friso
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  14. 54
    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 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
    por Guerra, Esther
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  15. 55
    Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers
    por Amunts, Katrin
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  16. 56
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
    por Silva, Alexandra
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  17. 57
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    por Silva, Alexandra
    Publicado 2021
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  18. 58
    Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  19. 59
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  20. 60
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico

Herramientas de búsqueda: