Automata, languages and programming : 27th international colloquium, ICALP 2000 : Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari ...<et al.> |
Autore | International colloquium ICALP <27.; 2000; Ginevra> |
Edizione | [Berlino] |
Descrizione fisica | XVI, 941 p. : ill. ; 20 cm |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettronici
Linguaggi formali Teoria delle macchine Congressi |
ISBN | 3-540-67715-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319670203316 |
International colloquium ICALP <27.; 2000; Ginevra> | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trustworthy global computing : Second symposium, TGC 2006 : Lucca, Italy, November 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
Descrizione fisica | X, 338 p. : ill. ; 24 cm |
Disciplina | 006.3 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - Lucca - 2006 |
ISBN | 978-3-540-75333-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003080480203316 |
Berlin [etc.] : Springer, copyr. 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|