Sfoglia per ???browse.type.metadata.subjectIsicrui???
Patent number EP2008/25640: fine protection solution for multi-layer networks
2008-01-01 Iovanna, P; Oriolo, G; Sabella, R; Sanita, L
Perfect model checking via unfold/fold transformations
2000-01-01 Pettorossi, A; Proietti, M
Problema num. 151
2010-01-01 Perfetti, P
Problema num.161
2010-01-01 Perfetti, P
Problema n°12
2010-01-01 Perfetti, P
Problema n°1233
2010-01-01 Perfetti, P
Problema n°1240
2011-01-01 Perfetti, P
Problema n°171
2009-07-01 Perfetti, P
Problema n°19
2011-01-01 Perfetti, P
Problema n°22
2011-01-01 Perfetti, P
Problema n°23
2011-01-01 Perfetti, P
Problema n°3557
2010-09-01 Perfetti, P
Problema n°3583
2010-11-01 Perfetti, P
Problema n°3596
2010-12-01 Perfetti, P
Problema n°4
2010-01-01 Perfetti, P
Problema n°5
2010-01-01 Perfetti, P
Problema n°6
2010-01-01 Perfetti, P
Program transformation for program verification
2013-07-01 Pettorossi, A; Proietti, M
Projected perspective reformulations with applications in design problems
2011-01-01 Frangioni, A; Gentile, C; Grande, E; Pacifici, A
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2008 | Patent number EP2008/25640: fine protection solution for multi-layer networks | Iovanna, P; Oriolo, G; Sabella, R; Sanita, L | Brevetti | |
1-gen-2000 | Perfect model checking via unfold/fold transformations | Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2010 | Problema num. 151 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema num.161 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema n°12 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema n°1233 | Perfetti, P | Articolo su rivista | |
1-gen-2011 | Problema n°1240 | Perfetti, P | Articolo su rivista | |
1-lug-2009 | Problema n°171 | Perfetti, P | Articolo su rivista | |
1-gen-2011 | Problema n°19 | Perfetti, P | Articolo su rivista | |
1-gen-2011 | Problema n°22 | Perfetti, P | Articolo su rivista | |
1-gen-2011 | Problema n°23 | Perfetti, P | Articolo su rivista | |
1-set-2010 | Problema n°3557 | Perfetti, P | Articolo su rivista | |
1-nov-2010 | Problema n°3583 | Perfetti, P | Articolo su rivista | |
1-dic-2010 | Problema n°3596 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema n°4 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema n°5 | Perfetti, P | Articolo su rivista | |
1-gen-2010 | Problema n°6 | Perfetti, P | Articolo su rivista | |
1-lug-2013 | Program transformation for program verification | Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2011 | Projected perspective reformulations with applications in design problems | Frangioni, A; Gentile, C; Grande, E; Pacifici, A | Articolo su rivista | |
1-gen-2006 | Proving properties of constraint logic programs by eliminating existential variables | Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno |
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