Skip recommendations
Mostrando 1 - 9 Resultados de 9 Para Buscar 'Esparza, Javier', tiempo de consulta: 0.03s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Dependable software systems engineering /
    Publicado 2016
    Otros Autores: “…Esparza, Javier…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  2. 2
    Dependable software systems engineering /
    Publicado 2016
    Otros Autores: “…Esparza, Javier…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  3. 3
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Publicado 2014
    Otros Autores: “…Esparza, Javier…”
    Texto Completo
    Electrónico eBook
  4. 4
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Publicado 2014
    Otros Autores: “…Esparza, Javier…”
    Texto Completo
    Electrónico eBook
  5. 5
    Finite and algorithmic model theory /
    Publicado 2011
    Otros Autores: “…Esparza, Javier…”
    Texto completo
    Electrónico eBook
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /
    Publicado 2010
    Otros Autores: “…Esparza, Javier…”
    Texto Completo
    Electrónico eBook
  7. 7
    Logics and languages for reliability and security /
    Publicado 2010
    Otros Autores: “…Esparza, Javier…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  8. 8
    Logics and languages for reliability and security /
    Publicado 2010
    Otros Autores: “…Esparza, Javier…”
    Texto completo
    Electrónico Congresos, conferencias eBook
  9. 9
    Unfoldings A Partial-Order Approach to Model Checking /
    por Esparza, Javier , Heljanko, Keijo
    Publicado 2008
    Texto Completo
    Electrónico eBook