IRIS

Sfoglia per Titolo

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 6.199 a 6.218 di 60.979
Titolo Data di pubblicazione Autore(i) File
Automatic shoreline detection from eight-band VHR satellite imagery 1-gen-2019 Alicandro, M.; Baiocchi, V.; Brigante, R.; Radicioni, F.
AUTOMATIC SURVEYING SYSTEM OF ROAD SURFACE FOR SECURITY AND COMFORT OF THE TRAVELING VEHICLE 1-gen-2000 D'Ovidio, Gino
Automatic synthesis of behavior protocols for composable web-services 1-gen-2009 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Automatic synthesis of coordinators of COTS group-ware applications: an example 1-gen-2003 Inverardi, Paola; Tivoli, Massimo; Bucchiarone, A.
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 1-gen-2001 Inverardi, Paola; Tivoli, Massimo
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 1-gen-2013 Inverardi, Paola; Tivoli, Massimo
Automatic Synthesis of Robust Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance 1-gen-2018 Kabbani, T.; DI GENNARO, S
An automatic system for testing of low-cost electric energy meters under distorted conditions 1-gen-2017 Bucci, Giovanni; Ciancetta, Fabrizio; D'Innocenzo, Flavio; Fiorucci, Edoardo; Gallo, Daniele; Landi, Carmine; Luiso, Mario
Automatic system for three fractions sampling of aerosol particles in outdoor environments 1-gen-1994 G., SCHIRRIPA SPAGNOLO; Paoletti, Domenica
Automatic test equipment for avionics Electro-Mechanical Actuators (EMAs) 1-gen-2014 Antonelli, MICHELE GABRIO ERNESTO; Bucci, G; Ciancetta, F; Fiorucci, E
An automatic test system for the characterization of quick charging stations for electric vehicles 1-gen-2014 Fiorucci, Edoardo; Bucci, Giovanni; Ometto, Antonio; Ragonese, A; D’Innocenzo, F; Genovese, A.
Automatic three dimensional feature extraction: the case study of l'Aquila for collapse identification after April 2009 1-gen-2014 Dominici, Donatella; Baiocchi, V.; Brigante, R.; Mormile, M. V.; Mormile, M.; Radicioni, F.
Automatic trimming technique for multipolar magnets 1-gen-1992 Alecci, Marcello; Colacicchi, Silvia; Sotgiu, A; Testa, L; Varoli, V.
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems 1-gen-2008 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone
Automatic Verication of Wireless Control in a Mining Ventilation System 1-gen-2008 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant
Automatic Verification of a Turbogas Control System with the Murphi Verifier 1-gen-2003 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Michele, Minichino; Ester, Ciancamerla; Andrea, Parisse; Enrico, Tronci; MARISA VENTURINI, Zilli
Automatic welding system with low impact on supply voltage quality 1-gen-2000 Muzi, Francesco
Automatic Wireless Monitoring System for Real-Time Rock Fall Events 1-gen-2017 Barile, Gianluca; Ferri, Giuseppe; Leoni, Alfiero; Muttillo, Mirco; Pantoli, Leonardo; Stornelli, Vincenzo; Vettori, Daniele
Automatically Bridging UML Profiles to MOF Metamodels 1-gen-2015 Malavolta, Ivano; Muccini, Henry; Sebastiani, Marco
Mostrati risultati da 6.199 a 6.218 di 60.979
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