Suchergebnisse - Bloem, Roderick

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. Buchumschlag

    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 /

    Veröffentlicht 2014, c2014
    Weitere Verfasser: “… Bloem, Roderick (edición) …”
    Ver documento en línea
    Tagungsbericht Buch
  2. Buchumschlag

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

    Veröffentlicht 2014, c2014
    Weitere Verfasser: “… Bloem, Roderick (edición) …”
    Ver documento en línea
    Tagungsbericht Buch

Suchwerkzeuge: