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.
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.)
| Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.) |
| Autore | International conference on tools and algorithms for the construction and analysis of systems : <10.; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XIV, 608 p. : ill. ; 24 cm |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-21299-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002415780203316 |
International conference on tools and algorithms for the construction and analysis of systems : <10.; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri nets and other models of concurrency I / Kurt Jensen...[et al.] (Eds.)
| Transactions on Petri nets and other models of concurrency I / Kurt Jensen...[et al.] (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XVIII, 249 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, Journal subline |
| Soggetto topico | Intelligenza artificiale |
| ISBN | 978-3-540-89286-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003333980203316 |
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on petri nets and other models of concurrency III / Kurt Jensen...[et al.] (Eds.)
| Transactions on petri nets and other models of concurrency III / Kurt Jensen...[et al.] (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XIII, 274 p. : ill. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, Journal subline |
| Soggetto topico | Intelligenza artificiale |
| ISBN | 978-3-642-00898-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003407960203316 |
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||