Autore:
Titolo:
Proof methods for interval temporal logics : Ph.D. thesis / Davide Bresolin ; supervisore: Angelo Montanari
Pubblicazione:
[Udine], 2007
Descrizione fisica:
1 volume
Note:
In testa al frontespizio: Università degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in infomatica, ciclo XIX
Classe MIUR:
Tesi di dottorato. | Lingua: Inglese. | Paese: Italia. | BID: CFI0792082
| Biblioteca | Inventario | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | TD 000016052 | TDR 080 2701 | Lettura tesi in sede |
Documenti simili
- Multi-graph structures as frameworks for distributed and concurrent systems : dottorato di ricerca in informatica : Ph.D. thesis / Davide Grohmann ; supervisor: Marino Miculan Grohmann, Davide
- Computational neuroanatomy : basics, results, and trends / Cristina Testa ; supervisor: Vito Roberto Testa, Cristina <1973- >
- New aspects of neural tree based classifiers for pattern recognition : Ph. D. thesis / Asha Rani ; supervisor: Christian Micheloni, Pietro di Gianantonio Rani, Asha
- Map-based geographic data on mobile devices : visualization, exploration and query issues : Ph.D. thesis / Stefano Burigat ; supervisor: Luca Chittaro Burigat, Stefano
- A navigation and examination aid for multi-floor virtual building with application to emergency evacuation training : Ph.D. thesis / Subramanian Venkataraman ; supervisor: Luca Chittaro Subramanian, Venkataraman
