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.
High performance computing : paradigm and infrastructure / edited by Laurence T. Yang, Minyi Guo
| High performance computing : paradigm and infrastructure / edited by Laurence T. Yang, Minyi Guo |
| Pubbl/distr/stampa | Hoboken, : Wiley Interscience, c2006 |
| Descrizione fisica | XXXVII, 778 p. ; 24 cm. |
| Disciplina |
004
004.35 |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Elaborazione parallela dei dati
Elaborazione distribuita Elaboratori - Valutazione |
| ISBN |
047165471X
9780471654711 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO2988201 |
| Hoboken, : Wiley Interscience, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
| Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled |
| Autore | Clarke, Edmund M. <1945- > |
| Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT press, 1999 |
| Descrizione fisica | XIV, 314 p. : ill. ; 24 cm. |
| Disciplina |
004.2
004.21 |
| Altri autori (Persone) |
Grumberg, Orna
Peled, Doron A. <1962- > |
| Soggetto topico | Elaboratori - Valutazione |
| ISBN | 0262032708 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-RMS0080223 |
Clarke, Edmund M. <1945- >
|
||
| Cambridge, Mass. ; London, : The MIT press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
