【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Honsell, Furio

ID:DA13083408

Search authors sharing the same name

Search Results1-3 of 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

Available at 1 libraries
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

Available at 1 libraries
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

Available at 35 libraries

Search this author

Related Authors