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.
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology / / Institute of Electrical and Electronics Engineers
| 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2010 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.1 |
| Soggetto topico | Computer programs - Verification |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and Second International Workshop on High Performance Computational Systems Biology |
| Record Nr. | UNISA-996202053903316 |
| Piscataway, N.J. : , : IEEE, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology / / Institute of Electrical and Electronics Engineers
| 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2010 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.1 |
| Soggetto topico | Computer programs - Verification |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and Second International Workshop on High Performance Computational Systems Biology |
| Record Nr. | UNINA-9910141033403321 |
| Piscataway, N.J. : , : IEEE, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||