Scorri Tipo di Contributo conference presentation - intervento a convegno

Opzioni
Parti dalla lettera: 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
Risultati da 2.684 a 2.703 di 2.787
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-1999 Using model checking to generate tests from requirements specifications Gargantini, Angelo Michele; Heitmeyer, Constance 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Using SMT for dealing with nondeterminism in ASM-based runtime verification Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2003 Using spin to generate tests from ASM specifications Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints Calvagna, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Using the Spatio-Temporal Variogram for the Classification of Electroencephalographic (EEG) Assessment Chernyavskiy, P.; Hudac, C. M.; Molfese, D. L.; Marx, D. B. GRASPA Conference Series::GRASPA14
1-gen-2011 Using the SPDE approach for air quality mapping in Piemonte region Cameletti, Michela; Lindgren, Finn; Simpson, Daniel; Rue, Håvard 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Using thermal energy, wind resource and storage technologies: a stochastic model for a small producer Petronio, Filomena; Moriggia, Vittorio; Vespucci, Maria Teresa 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Uso dello spazio aereo ed assistenza al volo nella Convenzione di Chicago e negli Annessi e Procedure ICAO Busti, Silvio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Ut mulier non circumveniatur. La capacità di agire della donna in età moderna tra ius commune e ius proprium Edigati, Daniele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 Utilizzo di incamiciature in calcestruzzo ad alte prestazioni per il rinforzo di pilastri in un intervento di adeguamento sismico. Beschi, Consuelo; Maringoni, Stefano; Meda, Alberto; Riva, Paolo; Simonelli, Francesca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 Validation of constraints among configuration parameters using search-based combinatorial interaction testing Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Validation of Models and Tests for Constrained Combinatorial Interaction Testing Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 Valuation accuracy and infinity horizon forecasts Cassia, Lucio; Vismara, Silvio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 Valuing university-based firms Vismara, Silvio; Paleari, Stefano; Bonardo, Damiano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Valutazione comparativa della piezoresistività dei compositi cementizi rinforzati con nanotubi in carbonio mediante misura in corrente continua e alternata Coppola, Luigi; Buoso, Alessandra; Corazza, Fabio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Valutazione comparativa della piezoresistività di compositi cementizi rinforzati con nanotubi in carbonio mediante misura in corrente continua e alternata. Coppola, Luigi; Buoso, Alessandra; Corazza, Fabio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Valutazione della resistenza a corrosione di rivestimenti biocompatibili su magnesio Cabrini, Marina; Colombi, Paolo; Lorenzi, Sergio; Pastore, Tommaso 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Valutazione della velocità di corrosione di acciai al carbonio per il trasporto e lo stoccaggio di CO2 ad alta pressione (CCTS) Cabrini, Marina; Lorenzi, Sergio; Marcassoli, Paolo; Pastore, Tommaso; Radaelli, Mariano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Valutazione della velocità di corrosione di acciai per tubazioni per il trasporto di CO2 supercritica (CCTS) Cabrini, Marina; Lorenzi, Sergio; Pastore, Tommaso; Redaelli, Mariano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 Valutazione della velocità di corrosione di una linea per il trasporto di acqua geotermica Cabrini, Marina; Tarquini, Bruno; Pastore, Tommaso; Marcassoli, Paolo; Lorenzi, Sergio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 2.684 a 2.703 di 2.787
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