top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
L'algoritmo del parcheggio : il lato divertente della matematica / Furio Honsell ; disegni di Bruno Bozzetto
L'algoritmo del parcheggio : il lato divertente della matematica / Furio Honsell ; disegni di Bruno Bozzetto
Autore Honsell, Furio
Pubbl/distr/stampa Milano : Mondadori, 2007
Descrizione fisica 199 p. : ill. ; 22 cm
Disciplina 510
Altri autori (Persone) Bozzetto, Bruno
Collana Ingrandimenti
Soggetto topico Mathematical recreations
Classificazione AMS 00A08
ZDM U04
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-b13609166
Honsell, Furio  
Milano : Mondadori, 2007
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Foundations of software science and computation structures : 4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell ... [et.al.] (eds.)
Foundations of software science and computation structures : 4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell ... [et.al.] (eds.)
Autore International conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>
Pubbl/distr/stampa Berlin [etc.] : Springer - Verlag, copyr. 2001
Descrizione fisica XII, 412 p. : ill. ; 20 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Software - Congressi - 2001
Congrssi - Genova - 2001
ISBN 3-540-41864-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000420190203316
International conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>  
Berlin [etc.] : Springer - Verlag, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Types for Proofs and Programs [Risorsa elettronica] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
Types for Proofs and Programs [Risorsa elettronica] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540681038
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009253090403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui