Cărți de Furio Honsell

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4941

Editat de Marino Miculan et al.

26 mai 2008

Preț: 329^.58 lei 411^.98 lei

6-8 săpt.

-20%

Frontiers of Fundamental Physics: Proceedings of the Sixth International Symposium

Editat de B. G. Sidharth et al.

24 mar 2006

Preț: 959^.19 lei 1169^.74 lei

6-8 săpt.

-18%

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Lecture Notes in Computer Science, nr. 2030

Editat de Furio Honsell et al.

21 mar 2001

Preț: 353^.33 lei 441^.66 lei

6-8 săpt.

-20%