Info
Advanced functional programming : 5th international school, AFP 2004 : Tartu, Estonia, August 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.)
| Advanced functional programming : 5th international school, AFP 2004 : Tartu, Estonia, August 2004 : revised lectures / Varmo Vene, Tarmo Uustalu (eds.) |
| Autore | International school, AFP 2004 : <5; : 2004; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
| Descrizione fisica | VIII, 357 p. : ill. ; 24 cm. |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto non controllato | Tecniche di programmazione |
| ISBN | 3-540-28540-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003071300203316 |
International school, AFP 2004 : <5; : 2004; >
|
||
| Berlin [etc.] : Springer, copyr. 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic methodology and software technology : 11th International conference, AMAST 2006 : Kuresaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.)
| Algebraic methodology and software technology : 11th International conference, AMAST 2006 : Kuresaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.) |
| Autore | International conference, AMAST 2006 : <11. ; : 2006 |
| Pubbl/distr/stampa | Berlin : Springer, copyr. 2006 |
| Descrizione fisica | XI, 387 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - Kuressaare - 2006 |
| ISBN | 3-540-35633-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003073390203316 |
|
International conference, AMAST 2006 : <11. ; : 2006
|
||
| Berlin : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||