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 [Risorsa elettronica] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns
| Computer Aided Verification [Risorsa elettronica] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540733683 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009252180403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2006 – Concurrency Theory [Risorsa elettronica] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns
| CONCUR 2006 – Concurrency Theory [Risorsa elettronica] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540373773 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009236580403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interactive Markov chains : and the quest for quantified quality / Holger Hermanns
| Interactive Markov chains : and the quest for quantified quality / Holger Hermanns |
| Autore | Hermanns, Holger |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr.2002 |
| Descrizione fisica | XII, 217 p. : ill. ; 20 cm |
| Disciplina | 519.233 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Processo di Markov |
| ISBN | 3-540-44261-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001150100203316 |
Hermanns, Holger
|
||
| Berlin : Springer-Verlag, copyr.2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Process algebra and probabilistic methods : performance modelling and verification : Second joint International workshop, PAPM-PROBMIV 2002 : Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns... <et al.> (eds.)
| Process algebra and probabilistic methods : performance modelling and verification : Second joint International workshop, PAPM-PROBMIV 2002 : Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns... <et al.> (eds.) |
| Autore | Joint International workshop PAPM-PROBMIV 2002 <2. ; 2002 ; Copenhagen, Denmark> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2002 |
| Descrizione fisica | X, 215 p. : ill. ; 20 cm |
| Disciplina | 511.3 21 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Teorie delle macchine - congressi - 2002 |
| ISBN | 3-540-43913-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001114530203316 |
|
Joint International workshop PAPM-PROBMIV 2002 <2. ; 2002 ; Copenhagen, Denmark>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria
| Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540330578 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009241140403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||