Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer aided verification : 8th International conference, CAV '96 : New Brunswich, NJ, USA : July31 - August 3, 1996 : proceedings / Rajeev Alur ... [et al] (eds.)
| Computer aided verification : 8th International conference, CAV '96 : New Brunswich, NJ, USA : July31 - August 3, 1996 : proceedings / Rajeev Alur ... [et al] (eds.) |
| Autore | International conference CAV'96 : 8. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | XII, 469 p : ill ; 23 cm |
| Disciplina | 003 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - new brunswick - 1996
sistemi distribuiti - congressi - 1996 sistemi - verifica - congressi - 1996 |
| ISBN | 3-540-61474-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207310203316 |
International conference CAV'96 : 8. : 1996
|
||
| Berlin [etc.] : Springer-Verlag copyr 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed algorithms : 10th International workshop, WDAG'96 : Bologna, Italy, October 9-11,1996 : proceedings / Özalp Babaoglu ... [et al.] (eds.)
| Distributed algorithms : 10th International workshop, WDAG'96 : Bologna, Italy, October 9-11,1996 : proceedings / Özalp Babaoglu ... [et al.] (eds.) |
| Autore | International workshop WDAG'96 : 10. : 1996 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, [etc.] (, copyr. 1996) |
| Descrizione fisica | VIII, 379 p. : ill. ; 23 cm |
| Disciplina | 00436 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
algoritmi - congressi - 1996
congressi - bologna - 1996 sistemi distribuiti - congressi - 1996 |
| ISBN | 3-540-61769-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206490203316 |
|
International workshop WDAG'96 : 10. : 1996
|
||
| Berlin : Springer-Verlag, [etc.] (, copyr. 1996) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 workshop LDAIS : Budapest, Hungary, August 13, 1996 : ICMAS'96 workshop LIOME : Kyoto, Japan, December 10, 1996 : selected papers / Gerhard Weib (ed.)
| Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 workshop LDAIS : Budapest, Hungary, August 13, 1996 : ICMAS'96 workshop LIOME : Kyoto, Japan, December 10, 1996 : selected papers / Gerhard Weib (ed.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | X, 294 p. : ill. ; 23 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - budapest - 1996
congressi - tokio - 1996 intelligenza artificiale - congressi - 1996 sistemi distribuiti - congressi - 1996 |
| ISBN | 3-540-62934-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202180203316 |
| Berlin : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal techniques in real-time andfault-tolerant systems : 4th international symposium Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson ... [et al.] (eds.)
| Formal techniques in real-time andfault-tolerant systems : 4th international symposium Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | X, 478 p. : ill. ; 23 cm |
| Disciplina | 00433 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - uppsala - 1996
elaborazione in tempo reale - congressi - 1996 sistemi distribuiti - congressi - 1996 |
| ISBN | 3-540-61648-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206510203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive distributed multimediasystems and services : European workshop IDMS'96 : Berlin, Germany, March 4-6, 1996 : proceedings / Berthold Butscher ...[et al.] (eds.)
| Interactive distributed multimediasystems and services : European workshop IDMS'96 : Berlin, Germany, March 4-6, 1996 : proceedings / Berthold Butscher ...[et al.] (eds.) |
| Autore | European workshop IDMS'96 : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | VI, 333 p. : ill. ; 24 cm |
| Disciplina | 00436 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - berlino - 1996
sistemi distribuiti - congressi - 1996 sistemi multimediali - congressi - 1996 |
| ISBN | 3-540-60938-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205480203316 |
|
European workshop IDMS'96 : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||