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 : 16th International conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.)
| Computer aided verification : 16th International conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) |
| Autore | International conference, CAV 2004 : <16. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XIII, 536 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Sistemi operativi |
| ISBN | 3-540-22342-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002962100203316 |
International conference, CAV 2004 : <16. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded software : 3. International Conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings / Rajeev Alur, Insup Lee (Eds.)
| Embedded software : 3. International Conference, EMSOFT 2003 : Philadelphia, PA, USA, October 13-15, 2003 : proceedings / Rajeev Alur, Insup Lee (Eds.) |
| Autore | International conference, EMSOFT 2003 <3. ; 2003 ; Philadelphia, PA, USA> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | X, 372 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Software - Congressi - 2003 |
| ISBN | 3-540-20223-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001853920203316 |
|
International conference, EMSOFT 2003 <3. ; 2003 ; Philadelphia, PA, USA>
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid systems : computation and control : 7th Intenational workshop, HSCC 2004 : Philadelphia,PA,USA, March 25-27, 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.)
| Hybrid systems : computation and control : 7th Intenational workshop, HSCC 2004 : Philadelphia,PA,USA, March 25-27, 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.) |
| Autore | International workshop, HSCC 2004 : <7.; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XII,674 p. : ill. ; 20 cm |
| Disciplina | 004.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Congressi - Philadelphia - 2004 |
| Soggetto non controllato | Elaboratori ibridi |
| ISBN | 3-540-21259-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002415010203316 |
|
International workshop, HSCC 2004 : <7.; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of cyber-physical systems / Rajeev Alur
| Principles of cyber-physical systems / Rajeev Alur |
| Autore | ALUR, Rajeev |
| Pubbl/distr/stampa | Cambridge [Mass.]; London, : The MIT Press, copyr. 2015 |
| Descrizione fisica | XII, 446 p. ; 23 cm |
| Disciplina | 006.3 |
| Soggetto topico | Intelligenza artificiale |
| ISBN | 978-0-262-02911-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990006185840203316 |
|
ALUR, Rajeev
|
||
| Cambridge [Mass.]; London, : The MIT Press, copyr. 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||