Autore:
Titolo:
Decision problems on tree automata and synthesis of open timed systems / Aniello Murano ; coordinatore: Alfredo De Santis ; relatori: Margherita Napoli, Salvatore La Torre
Pubblicazione:
2002.
Descrizione fisica:
1 v.
Note:
In testa al front.: Dottorato di ricerca in informatica, 14. ciclo, Università di Salerno
Numero BNI:
BN 2004-1674T
Autori secondari:
Classe Dewey:
Classe MIUR:
INF/01 - Informatica
Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0004230
| Biblioteca | Inventario | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | TVD980304218 | TDR 2003 04218 | Lettura tesi in sede |
Documenti simili
- Un software numerico basato su un metodo di collocazione per l'inversione della Trasformata di Laplace nel caso reale : tesi di dottorato di ricerca / Salvatore Cuomo Cuomo, Salvatore <1975- >
- Methods and tools for e-learning processes / Giuseppe Scanniello ; ph. d. course chairman: Margherita Napoli ; supervisors: Gennaro Costagliola, Andrea De Lucia Scanniello, Giuseppe
- Tools and techniques for the generation of visual environments / Michele Risi ; ph. d. course chairman: Margherita Napoli ; supervisor: Gennaro Costagliola Risi, Michele <1976- >
- On designing overlay networks for peer-to-peer systems : dottorato di ricerca in informatica, 4. ciclo n. s., Università degli studi di Salerno / Gennaro Cordasco ; coordinator: Margherita Napoli ; supervisor: Alberto Negro Cordasco, Gennaro
- Exploiting fractal properties in image compression and face recognition : dottorato di ricerca in informatica, 4. ciclo nuova serie : tesi di dottorato / dottorando: Daniel Riccio ; coordinatore: Margherita Napoli ; relatore: Michele Nappi Riccio, Daniel <1978- >
