Honsell, Furio

ID:DA13083408

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Curiosità e divertimenti con i numeri : tratti dal De viribus quantitatis di Luca Pacioli

Furio Honsell, Giorgio T. Bagni

Aboca Edizioni c2009 De viribus quantitatis / Luca Pacioli

所蔵館1館
2

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers

Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)

Springer c2008 Lecture notes in computer science 4941

: pbk

所蔵館1館
3

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

Furio Honsell, Marino Miculan (eds.)

Springer c2001 Lecture notes in computer science 2030

所蔵館35館

この著者を外部サイトでさがす

関連著者

ページトップへ