IRIS

Sfoglia per Afferenza ex-Dipartimento di Ingegneria Civile e Ingegneria informatica

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 14 di 14
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2016 Elements of computability, decidability, and complexity. Fifth Edition Pettorossi, A Monografia
1-gen-2017 Energy performance analysis of STILE house at the Solar Decathlon 2015: Lessons learned Cornaro, C; Rossi, S; Cordiner, S; Mulone, V; Ramazzotti, L; Rinaldi, Z Articolo su rivista
1-giu-2017 Estimating the number of remaining links in traceability recovery Falessi, D; Di Penta, M; Canfora, G; Cantone, G Articolo su rivista
1-gen-2016 First order predicate calculus and logic programming. Fourth Edition Pettorossi, A; Proietti, M Monografia
1-gen-2016 Horn clause transformation for program verification De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Altro
1-gen-2016 L-band passive and active signatures of vegetated soil: simulations with a unified model Guerriero, L; Ferrazzoli, P; Vittucci, C; Rahmoune, R; Aurizzi, M; Mattioni, A Articolo su rivista
17-mar-2016 A Mesoscopic Transit Assignment Model Including Real-Time Predictive Information on Crowding Nuzzolo, A; Crisalli, U; Comi, A; Rosati, L Articolo su rivista
1-gen-2007 New approaches for virtual private network design Eisenbrand, F; Grandoni, F; Oriolo, G; Skutella, M Articolo su rivista
1-gen-2016 Normative optimal strategies: a new approach in advanced transit trip planning Nuzzolo, A; Comi, A; Rosati, L Contributo in libro
1-gen-2015 Proving correctness of imperative programs by linearizing constrained Horn clauses De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2016 Relational verification through horn clause transformation De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2016 Removing unnecessary variables from Horn clause verification conditions De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2016 Semantics of programming languages. Third Edition Pettorossi, A Monografia
1-gen-2015 Semantics-based generation of verification conditions by program specialization De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
Mostrati risultati da 1 a 14 di 14
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