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ț: 322^.96 lei 403^.69 lei

43-57 zile

-20%

Frontiers of Fundamental Physics: Proceedings of the Sixth International Symposium

Editat de B. G. Sidharth et al.

24 mar 2006

Preț: 939^.74 lei 1146^.02 lei

43-57 zile

-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ț: 346^.23 lei 432^.78 lei

43-57 zile

-20%