Materias dentro de su búsqueda.
Mostrando 1 - 6 Resultados de 6 Para Buscar 'LNCS sublibrary. Theoretical computer science and general issues', tiempo de consulta: 0.10s Limitar resultados
  1. 1
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
    Publicado 2010
    Libro electrónico
  2. 2
    Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
    Publicado 2012
    Libro electrónico
  3. 3
    Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers
    Publicado 2010
    Libro electrónico
  4. 4
    Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
    Publicado 2010
    Libro electrónico
  5. 5
    Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
    Publicado 2011
    Libro electrónico
  6. 6
    Replication : theory and practice
    Publicado 2010
    Libro

Herramientas de búsqueda: