Resultados de procura - Bloem, Roderick

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. Imaxe de Portada

    Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /

    Publicado 2014, c2014
    Outros autores: “...Bloem, Roderick (edición)...”
    Ver documento en línea
    Procedimiento de la conferencia Libro
  2. Imaxe de Portada

    Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : Proceedings /

    Publicado 2014, c2014
    Outros autores: “...Bloem, Roderick (edición)...”
    Ver documento en línea
    Procedimiento de la conferencia Libro

Ferramentas de procura: