Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 87 Para Buscar '"Theoretical Computer Science and General Issues ;"', tiempo de consulta: 0.24s Limitar resultados
  1. 1
    Foundations of Genetic Algorithms : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  2. 2
    High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings
    “…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
    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
  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 II
    Publicado 2018
    “…Theoretical Computer Science and General Issues…”
    Libro electrónico
  6. 6
    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
  7. 7
    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
  8. 8
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  9. 9
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  10. 10
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  11. 11
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  12. 12
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  13. 13
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  14. 14
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  15. 15
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  16. 16
    Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  17. 17
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  18. 18
    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…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  19. 19
    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, Dublin, Ireland, April 25–30, 2020, Proceedings
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
  20. 20
    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 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
    Publicado 2020
    “…Theoretical Computer Science and General Issues…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca Universidad de Navarra)
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda