Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 43 Para Buscar '"Theoretical Computer Science and General Issues,"', tiempo de consulta: 0.32s Limitar resultados
  1. 1
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  2. 2
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  3. 3
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  4. 4
    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, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  5. 5
    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 of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  6. 6
    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 of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  7. 7
    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 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  8. 8
    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 Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  9. 9
    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 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  10. 10
    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  11. 11
    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 II
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  12. 12
    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
  13. 13
    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
  14. 14
    Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
    Publicado 2019
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    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
  19. 19
    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
  20. 20
    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

Herramientas de búsqueda: