Bokus

Alain Finkel – författare

Visar alla böcker från författaren Alain Finkel. Handla med fri frakt och snabb leverans.

6 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

    1129 kr

    Lägg i varukorg

    This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis …

  2. Alain Finkel, Hubert Comon, Gerard Berry - Computer Aided Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

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

    Av Alain Finkel, Hubert Comon m. fl.

    E-bok, 2003

    1470 kr

    Lägg i varukorg

  3. 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

    1129 kr

    Lägg i varukorg

    This volume gives the proceedings of the ninth Symposium onTheoretical Aspects of Computer Science (STACS). Thisannual symposium is held alternately in France and Germanyand is organized jointly by the Special Interest Group forFundamental Computer Science of the Association Francaisedes Sciences …

  4. 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

    1129 kr

    Lägg i varukorg

    This volume contains the proceedings of the tenth annualSymposium on Theoretical Aspects of Computer Science (STACS'93), held in W}rzburg, February 25-27, 1993.The STACS symposia are held alternately in Germany andFrance, and organized jointly by the Special Interest Groupfor Theoretical Computer …

  5. 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

    523 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers …

  6. Igor Potapov, Jerome Leroux, Alain Finkel - Reachability Problems, E-bok. Tillgänglighet: Lägg i varukorg

    Reachability Problems

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

    Av Igor Potapov, Jerome Leroux m. fl.

    E-bok, 2012

    672 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers …