Sfoglia per Titolo
TIES 1.2 User Manual
2003-01-01 Giuliano,
TIES 2.2 User Manual (March 2004)
2004-01-01 Giuliano,
Tightening a Contract Refinement
2016-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Tightening the contract refinements of a system architecture
2018-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco
A tiling procedure for second-order variational segmentation of large size remote sensing images
2016-01-01 Zanetti, Massimo; Zanella, Riccardo; Bruzzone, Lorenzo
Till Money Us Do Part: Property Division at Divorce and Married Couples’ Time Behaviour
2017-01-01 Piazzalunga, Daniela
Tim Schanetzky. Regierungsunternehmer: Henry J. Kaiser, Friedrich Flick und die Staatskonjunkturen in den USA und Deutschland
2018-01-01 Bernardini, Giovanni
Time and frequency-domain signal average ECG towards the 2000th.
1998-01-01 M., Disertori; Maurizio Del, Greco; Nollo, Giandomenico
Time and numerosity estimation in peripersonal and extrapersonal space
2021-01-01 Petrizzo, Irene; Castaldi, Elisa; Anobile, Giovanni; Bassanelli, Simone; Arrighi, Roberto
Time and Revolution. Italian Fascism and the Construction of History: Gerarchia 1922-1943
2016-01-01 Lucaroni, Giorgio
TIME CHARACTERIZATION OF CAPACITIVE MEMS RF SWITCHES
2004-01-01 G., Fontana; F., Pianegiani; D., Petri; Soncini, Giovanni; Giacomozzi, Flavio; Lorenzelli, Leandro; Margesin, Benno; G., Turco
Time corpora: Epochs, opinions and changes
2014-01-01 Popescu, Octavian; Strapparava, Carlo
Time correlation functions of simple liquids: A new insight on the underlying dynamical processes
2018-01-01 Garberoglio, Giovanni; Vallauri, Renzo; Bafile, Ubaldo
Time course of swelling-induced action potential variations and volume in guinea-pig ventricular myocytes
1999-01-01 Ravelli, Flavia; A., Facchinelli; L., Corbino; R., Antolini
Time Dependence of 50–250 MeV Galactic Cosmic-Ray Protons between Solar Cycles 24 and 25, Measured by the High-energy Particle Detector on board the CSES-01 Satellite
2023-01-01 Martucci, M.; Ammendola, R.; Badoni, D.; Bartocci, S.; Battiston, R.; Beolè, S.; Burger, W. J.; Campana, D.; Castellini, G.; Cipollone, P.; Coli, S.; Conti, L.; Contin, A.; Cristoforetti, M.; D'Angelo, G.; De Donato, C.; De Santis, C.; Di Luca, A.; Follega, F. M.; Gebbia, G.; Iuppa, R.; Lega, A.; Lolli, M.; Marcelli, N.; Masciantonio, G.; Mergè, M.; Mese, M.; Neubüser, C.; Nozzoli, F.; Oliva, A.; Osteria, G.; Pacini, L.; Palma, F.; Palmonari, F.; Panico, B.; Parmentier, A.; Perciballi, S.; Perfetto, F.; Picozza, P.; Pozzato, M.; Rebustini, G. M.; Ricci, E.; Ricci, M.; Ricciarini, S. B.; Savino, U.; Sahnoun, Z.; Scotti, V.; Sotgiu, A.; Sparvoli, R.; Ubertini, P.; Vilona, V.; Vitale, V.; Zoffoli, S.; Zuccon, P.; Aslam, O. P. M.; Ngobeni, M. D.; Potgieter, and M. S.
Time of Flight 3-D Imagers
2007-01-01 Stoppa, David
Time of Flight 3D Imagers in CMOS Technologies
2008-01-01 Stoppa, David
Time Of Flight Image Sensors in 0.18μm CMOS Technology: a Comparative Overview of Different Approaches
2011-01-01 Stoppa, David; Pancheri, Lucio; Massari, Nicola; Malfatti, Mattia; Perenzoni, Matteo; Pedretti, Gianmaria; Gian Franco Dalla, Betta
Time of Flight Spectroscopy of ion currents emitted by lasers produced plasmas
2006-01-01 J., Krasa; Picciotto, Antonino; S., Gammino; L., Laska; K., Rohlena; L., Torrisi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
TIES 1.2 User Manual | 1-gen-2003 | Giuliano, | |
TIES 2.2 User Manual (March 2004) | 1-gen-2004 | Giuliano, | |
Tightening a Contract Refinement | 1-gen-2016 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano | |
Tightening the contract refinements of a system architecture | 1-gen-2018 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano | |
Tighter Integration of BDD and SMT for Predicate Abstraction | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco | |
A tiling procedure for second-order variational segmentation of large size remote sensing images | 1-gen-2016 | Zanetti, Massimo; Zanella, Riccardo; Bruzzone, Lorenzo | |
Till Money Us Do Part: Property Division at Divorce and Married Couples’ Time Behaviour | 1-gen-2017 | Piazzalunga, Daniela | |
Tim Schanetzky. Regierungsunternehmer: Henry J. Kaiser, Friedrich Flick und die Staatskonjunkturen in den USA und Deutschland | 1-gen-2018 | Bernardini, Giovanni | |
Time and frequency-domain signal average ECG towards the 2000th. | 1-gen-1998 | M., Disertori; Maurizio Del, Greco; Nollo, Giandomenico | |
Time and numerosity estimation in peripersonal and extrapersonal space | 1-gen-2021 | Petrizzo, Irene; Castaldi, Elisa; Anobile, Giovanni; Bassanelli, Simone; Arrighi, Roberto | |
Time and Revolution. Italian Fascism and the Construction of History: Gerarchia 1922-1943 | 1-gen-2016 | Lucaroni, Giorgio | |
TIME CHARACTERIZATION OF CAPACITIVE MEMS RF SWITCHES | 1-gen-2004 | G., Fontana; F., Pianegiani; D., Petri; Soncini, Giovanni; Giacomozzi, Flavio; Lorenzelli, Leandro; Margesin, Benno; G., Turco | |
Time corpora: Epochs, opinions and changes | 1-gen-2014 | Popescu, Octavian; Strapparava, Carlo | |
Time correlation functions of simple liquids: A new insight on the underlying dynamical processes | 1-gen-2018 | Garberoglio, Giovanni; Vallauri, Renzo; Bafile, Ubaldo | |
Time course of swelling-induced action potential variations and volume in guinea-pig ventricular myocytes | 1-gen-1999 | Ravelli, Flavia; A., Facchinelli; L., Corbino; R., Antolini | |
Time Dependence of 50–250 MeV Galactic Cosmic-Ray Protons between Solar Cycles 24 and 25, Measured by the High-energy Particle Detector on board the CSES-01 Satellite | 1-gen-2023 | Martucci, M.; Ammendola, R.; Badoni, D.; Bartocci, S.; Battiston, R.; Beolè, S.; Burger, W. J.; Campana, D.; Castellini, G.; Cipollone, P.; Coli, S.; Conti, L.; Contin, A.; Cristoforetti, M.; D'Angelo, G.; De Donato, C.; De Santis, C.; Di Luca, A.; Follega, F. M.; Gebbia, G.; Iuppa, R.; Lega, A.; Lolli, M.; Marcelli, N.; Masciantonio, G.; Mergè, M.; Mese, M.; Neubüser, C.; Nozzoli, F.; Oliva, A.; Osteria, G.; Pacini, L.; Palma, F.; Palmonari, F.; Panico, B.; Parmentier, A.; Perciballi, S.; Perfetto, F.; Picozza, P.; Pozzato, M.; Rebustini, G. M.; Ricci, E.; Ricci, M.; Ricciarini, S. B.; Savino, U.; Sahnoun, Z.; Scotti, V.; Sotgiu, A.; Sparvoli, R.; Ubertini, P.; Vilona, V.; Vitale, V.; Zoffoli, S.; Zuccon, P.; Aslam, O. P. M.; Ngobeni, M. D.; Potgieter, and M. S. | |
Time of Flight 3-D Imagers | 1-gen-2007 | Stoppa, David | |
Time of Flight 3D Imagers in CMOS Technologies | 1-gen-2008 | Stoppa, David | |
Time Of Flight Image Sensors in 0.18μm CMOS Technology: a Comparative Overview of Different Approaches | 1-gen-2011 | Stoppa, David; Pancheri, Lucio; Massari, Nicola; Malfatti, Mattia; Perenzoni, Matteo; Pedretti, Gianmaria; Gian Franco Dalla, Betta | |
Time of Flight Spectroscopy of ion currents emitted by lasers produced plasmas | 1-gen-2006 | J., Krasa; Picciotto, Antonino; S., Gammino; L., Laska; K., Rohlena; L., Torrisi |
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