Cărți de Alain Finkel

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

Lecture Notes in Computer Science, nr. 7550

Editat de Alain Finkel et al.

17 aug 2012

Preț: 292^.51 lei 365^.64 lei

6-8 săpt.

-20%

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2102

Editat de Gerard Berry et al.

4 iul 2001

Preț: 646^.41 lei 808^.02 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 665

Editat de Patrice Enjalbert et al.

19 feb 1993

Preț: 656^.31 lei 820^.40 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 577

Editat de Alain Finkel et al.

4 feb 1992

Preț: 651^.45 lei 814^.32 lei

6-8 săpt.

-20%