RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
Formal Methods for Hardware Verification
2006-01-01 Marco, Bernardo; Cimatti, Alessandro
Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008
2008-01-01 Cimatti, Alessandro; Robert B., Jones
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Theory and Applications of Satisfiability Testing – SAT 2012
2012-01-01 Cimatti, Alessandro; Sebastiani, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Methods for Hardware Verification | 1-gen-2006 | Marco, Bernardo; Cimatti, Alessandro | |
Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008 | 1-gen-2008 | Cimatti, Alessandro; Robert B., Jones | |
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning | 1-gen-2006 | Armando, Alessandro; Cimatti, Alessandro | |
Theory and Applications of Satisfiability Testing – SAT 2012 | 1-gen-2012 | Cimatti, Alessandro; Sebastiani, Roberto |
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 7 Curatele 4
- 7 Curatele::7.1 Curatela 4
Data di pubblicazione
- 2012 1
- 2008 1
- 2006 2
Editore
- Springer 2
- Electronic Notes in Theoretical C... 1
- IEEE 1
Rivista
- ELECTRONIC NOTES IN THEORETICAL C... 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
Lingua
- eng 3
Accesso al fulltext
- no fulltext 4