Søgeresultater - Bloem, Roderick

  • Mostrando 1 - 2 resultados de 2
Filtrar resultados
  1. Omslagsbillede

    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 /

    Udgivet 2014, c2014
    Andre forfattere: “...Bloem, Roderick (edición)...”
    Ver documento en línea
    Procedimiento de la conferencia Bog
  2. Omslagsbillede

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

    Udgivet 2014, c2014
    Andre forfattere: “...Bloem, Roderick (edición)...”
    Ver documento en línea
    Procedimiento de la conferencia Bog

Søgeredskaber: