Alain finkel u a (4 risultati)

Taschenbuch. Condizione: Neu. Reachability Problems | 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings | Alain Finkel (u. a.) | Taschenbuch | xii | Englisch | 2012 | Springer | EAN 9783642335112 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: Neu. STACS 92 | 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings | Alain Finkel (u. a.) | Taschenbuch | xvi | Englisch | 1992 | Springer | EAN 9783540552109 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. STACS 93 | 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings | Patrice Enjalbert (u. a.) | Taschenbuch | xiv | Englisch | 1993 | Springer | EAN 9783540565031 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. Computer Aided Verification | 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | Gerard Berry (u. a.) | Taschenbuch | xiii | Englisch | 2001 | Springer | EAN 9783540423454 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …