Advanced functional programming : 4th international school, AFP 2002 : Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (Eds.)
| Advanced functional programming : 4th international school, AFP 2002 : Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (Eds.) |
| Autore | International school on advanced functional programming <4. ; 2002 ; Oxford, UK> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | VI, 211 p. : ill. ; 24 cm. |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Tecniche di programmazione |
| ISBN | 3-540-40132-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001889270203316 |
International school on advanced functional programming <4. ; 2002 ; Oxford, UK>
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming constraint services : high-level programming of standard and new constraint services / Christian Schulte
| Programming constraint services : high-level programming of standard and new constraint services / Christian Schulte |
| Autore | SCHULTE, Christian |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | XII, 176 p. : ill. ; 24 cm |
| Disciplina | 005.11 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato | Tecniche di programmazione |
| ISBN | 3-540-43371-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001874770203316 |
SCHULTE, Christian
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||