Info
Advanced functional programming : proceedings, Bastad, Sweden, May 24-30, 1995 / Johan Jeuring, Erik Meijer (eds.)
| Advanced functional programming : proceedings, Bastad, Sweden, May 24-30, 1995 / Johan Jeuring, Erik Meijer (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | 331 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - bastad - 1995
eleboratori elettronici - programmazione - congressi - 1995 |
| ISBN | 3-540-59451-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210250203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Datatype-Generic Programming [Risorsa elettronica] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
| Datatype-Generic Programming [Risorsa elettronica] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540767862 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009248190403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics of program construction : 4th international conference, MPC'98 Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.)
| Mathematics of program construction : 4th international conference, MPC'98 Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.) |
| Autore | International conference MPC'98 : 4. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | X, 382 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - marstrand - 1998
elaboratori elettronici - congressi - 1998 |
| ISBN | 3-540-64591-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000209610203316 |
International conference MPC'98 : 4. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||