Compiler construction : 10th International conference, CC 2001 held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Reinhard Wilhelm |
Autore | International conference, CC 2001 <10. ; 2001 ; Genova> |
Pubbl/distr/stampa | Berlin [etc.] : Springer - Verlag, copyr. 2001 |
Descrizione fisica | VIII, 370 p. : ill. ; 20 cm |
Disciplina | 005.4 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici - Compilatori - Congressi - 2001
Congressi - Genova - 2001 |
ISBN | 3-540-41861-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000420860203316 |
International conference, CC 2001 <10. ; 2001 ; Genova> | ||
Berlin [etc.] : Springer - Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundamental approaches to software engineering : 4th International conference, FASE 2001 held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / Henrich Hussmann (ed.) |
Autore | International conference, FASE 2001 <4. ; 2001 ; Genova> |
Pubbl/distr/stampa | Berlin [etc.] : Springer - Verlag, copyr. 2001 |
Descrizione fisica | : XIII, 347 p. ; ill. + 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Software - Progettazione - Congressi - 2001
Congressi - Genova - 2001 |
ISBN | 3-540-41863-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000420990203316 |
International conference, FASE 2001 <4. ; 2001 ; Genova> | ||
Berlin [etc.] : Springer - Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming languages and systems : 10th European symposium on programming, ESOP 2001 held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.) |
Autore | European symposium on programming, ESOP 2001 <10. ; 2001 ; Genova> |
Pubbl/distr/stampa | Berlin [etc.] : Springer - Verlag, copyr. 2001 |
Descrizione fisica | XIII, 431 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Linguaggi di programmazione - Congressi - 2001
Congressi - Genova - 2001 |
ISBN | 3-540-41862-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000421030203316 |
European symposium on programming, ESOP 2001 <10. ; 2001 ; Genova> | ||
Berlin [etc.] : Springer - Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and algorithms for the construction and analysis of systems : 7th Internationa conference, TACAS 2001 : European conferences on theory and practice of software, ETAPS 2001 : Genova, italy, April 2-6, 2001 : proceedings / Tiziana Magaria ... [et al.] (eds.) |
Autore | International Conference, TACAS <7. ; 2001 ; Genova ; Italy> |
Descrizione fisica | XIV, 588 p. : ill. ; 20 cm |
Disciplina | 004.2 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Sistemi - Progettazione - Congressi 2001
Congressi - Genova - 2001 |
ISBN | 3-540-41865-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000463190203316 |
International Conference, TACAS <7. ; 2001 ; Genova ; Italy> | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|