Cărți de Mario Coppo

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3701

Editat de Mario Coppo et al.

28 sep 2005

Preț: 333^.47 lei 416^.84 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3085

Editat de Stefano Berardi et al.

15 iun 2004

Preț: 332^.01 lei 415^.01 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Lecture Notes in Computer Science, nr. 1158

Editat de Stefano Berardi et al.

2 oct 1996

Preț: 326^.52 lei 408^.15 lei

6-8 săpt.

-20%