|
|
|
|
Laurea Specialistica in
Ingegneria Informatica,
Corso di
Metodi Formali nell'Ingegneria del Software
Edizione dell'a.a. 2007/08
Progetti svolti e presentati dagli studenti
Attualmente sono visualizzati solo i progetti che rispettano i seguenti filtri:
Visualizza tutti i progetti » Clicca sui diversi valori (categoria e/o anno accademico) per attivare/disattivare i filtri di visualizzazione.
Categorie:
Anni accademici:
| Autori |
Titolo e categorie |
A.A. |
Dettagli |
|
Michela Angeloni, Junio Valerio Franchi, Piero Cangialosi |
Existential second order logic e sue applicazioni |
2007/08 |
Vai » |
|
Daniele Zannella |
Risolutori SAT non-CNF |
2007/08 |
Vai » |
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|
Home page