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ț: 297^.49 lei 371^.86 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ț: 657^.49 lei 821^.87 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ț: 667^.57 lei 834^.46 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ț: 662^.62 lei 828^.28 lei

6-8 săpt.

-20%