Akademibokhandeln

Alain Finkel – författare

Visar alla böcker från författaren Alain Finkel.

4 produkter

  1. Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

    Av Gerard Berry, Hubert Comon m. fl.

    Häftad, 2001

    1469 kr

    Lägg i varukorg

  2. Alain Finkel, Matthias Jantzen - STACS 92, Häftad. Tillgänglighet: Lägg i varukorg

    STACS 92

    9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings

    Av Alain Finkel, Matthias Jantzen

    Häftad, 1992

    1469 kr

    Lägg i varukorg

  3. Patrice Enjalbert, Alain Finkel, Klaus W. Wagner - STACS 93, Häftad. Tillgänglighet: Lägg i varukorg

    STACS 93

    10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

    Av Patrice Enjalbert, Alain Finkel m. fl.

    Häftad, 1993

    1469 kr

    Lägg i varukorg

  4. Alain Finkel, Jerome Leroux, Igor Potapov - Reachability Problems, Häftad. Tillgänglighet: Lägg i varukorg

    Reachability Problems

    6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

    Av Alain Finkel, Jerome Leroux m. fl.

    Häftad, 2012

    679 kr

    Lägg i varukorg