Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 30 Para Buscar '', tiempo de consulta: 0.05s Limitar resultados
  1. 1
    Introduction to automata theory, languages, and computation
    por Hopcroft, John E.
    Publicado 1979
    Libro
  2. 2
    Logic and automata : history and perspectives
    Publicado 2008
    Libro electrónico
  3. 3
    International journal of applied mathematics and computer science
    Publicado 1999
    Revista digital
  4. 4
    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
    Libro electrónico
  5. 5
    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
    Libro electrónico
  6. 6
    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
    Libro electrónico
  7. 7
    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
    Libro electrónico
  8. 8
    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
    Libro electrónico
  9. 9
    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
    Libro electrónico
  10. 10
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Publicado 2019
    Libro electrónico
  11. 11
    Acta informatica
    Publicado 1971
    Revista digital
  12. 12
    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
    Libro electrónico
  13. 13
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
    por Silva, Alexandra
    Publicado 2021
    Libro electrónico
  14. 14
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    por Silva, Alexandra
    Publicado 2021
    Libro electrónico
  15. 15
    Automata theory and formal languages
    por Kandar, Shyamalendu
    Publicado 2012
    Libro electrónico
  16. 16
    SIGACT news
    Revista digital
  17. 17
    Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing
    Publicado 2019
    Libro electrónico
  18. 18
    ACM transactions on computation theory
    Publicado 2009
    Revista digital
  19. 19
    Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
    por Cimiano, Philipp
    Publicado 2024
    Libro electrónico
  20. 20
    Statistical and machine learning approaches for network analysis
    por Dehmer, Matthias, 1968-
    Publicado 2012
    Libro electrónico

Herramientas de búsqueda: