RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 28271 - 28280 di 28941 (tempo di esecuzione: 0.056 secondi).
Verifying implementation relations
file da validare2001-01-01 Burton, J; Koutny, M; Pappalardo, Giuseppe
Verifying Privacy by Little Interaction and No Process Equivalence
file da validare2012-01-01 Butin, D; Bella, Giampaolo
Verifying Second-Level Security Protocols
file da validare2003-01-01 Bella, Giampaolo; C., Longo; L. C., Paulson
Verilog-a modeling of Silicon Photo-Multipliers
2016-01-01 Giustolisi, Gianluca; Palumbo, Gaetano; Pappalardo, A; Finocchiaro, P.
Verilog-a Modeling of SPAD Statistical Phenomena
2011-01-01 Giustolisi, Gianluca; Mita, R; Palumbo, Gaetano
Verismo digitale. Per un’edizione digitale commentata delle opere di Verga, Capuana, De Roberto
2024-01-01 Barbarino, LIBORIO PIETRO; Conti, Elisa; D'Agata, Christian; Grasso, Miryam; Martines, NINNA MARIA LUCIA; Vitale, Eliana
Verso la definizione di un Paesaggio Vulcanico Urbano sull'Etna. Dalla città di Catania all'area metropolitana
file da validare2012-01-01 Calvagna, Simona
Verso la post flessibilità?
file da validare2008-01-01 Caruso, Sebastiano Bruno
Verso la Terra Santa: una nota sulla Sicilia nel pellegrinaggio di Villibaldo
2021-01-01 Piazza, Emanuele
Verso sistemi polimerici di trasduzione Autonomi
file da validare2010-01-01 Ando', Bruno; Baglio, Salvatore; DI PASQUALE, Giovanna; Graziani, Salvatore; Pagano, F; Pitrone, N; Umana, E; Xibilia, M. G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Verifying implementation relations | 1-gen-2001 | Burton, J; Koutny, M; Pappalardo, Giuseppe | file da validare |
| Verifying Privacy by Little Interaction and No Process Equivalence | 1-gen-2012 | Butin, D; Bella, Giampaolo | file da validare |
| Verifying Second-Level Security Protocols | 1-gen-2003 | Bella, Giampaolo; C., Longo; L. C., Paulson | file da validare |
| Verilog-a modeling of Silicon Photo-Multipliers | 1-gen-2016 | Giustolisi, Gianluca; Palumbo, Gaetano; Pappalardo, A; Finocchiaro, P. | |
| Verilog-a Modeling of SPAD Statistical Phenomena | 1-gen-2011 | Giustolisi, Gianluca; Mita, R; Palumbo, Gaetano | |
| Verismo digitale. Per un’edizione digitale commentata delle opere di Verga, Capuana, De Roberto | 1-gen-2024 | Barbarino, LIBORIO PIETRO; Conti, Elisa; D'Agata, Christian; Grasso, Miryam; Martines, NINNA MARIA LUCIA; Vitale, Eliana | |
| Verso la definizione di un Paesaggio Vulcanico Urbano sull'Etna. Dalla città di Catania all'area metropolitana | 1-gen-2012 | Calvagna, Simona | file da validare |
| Verso la post flessibilità? | 1-gen-2008 | Caruso, Sebastiano Bruno | file da validare |
| Verso la Terra Santa: una nota sulla Sicilia nel pellegrinaggio di Villibaldo | 1-gen-2021 | Piazza, Emanuele | |
| Verso sistemi polimerici di trasduzione Autonomi | 1-gen-2010 | Ando', Bruno; Baglio, Salvatore; DI PASQUALE, Giovanna; Graziani, Salvatore; Pagano, F; Pitrone, N; Umana, E; Xibilia, M. G. | file da validare |
Risultati 28271 - 28280 di 28941 (tempo di esecuzione: 0.056 secondi).
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 28941
- 4 Contributo in Atti di Convegno ... 28941
Data di pubblicazione
- In corso di stampa 85
- 2020 - 2026 2575
- 2010 - 2019 8288
- 2000 - 2009 13687
- 1990 - 1999 3075
- 1980 - 1989 1181
- 1972 - 1979 50
Editore
- IEEE 675
- Institute of Electrical and Elect... 589
- Springer 198
- IEEE Computer Society 181
- Springer Science and Business Med... 136
- Springer Verlag 122
- - 116
- World Scientific 83
- CEUR-WS 74
- Springer-Verlag 71
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 145
- JOURNAL OF PHYSICS. CONFERENCE SE... 140
- EPJ WEB OF CONFERENCES 83
- POS PROCEEDINGS OF SCIENCE 68
- AIP CONFERENCE PROCEEDINGS 60
- EPJ WEB OF CONFERENCES 50
- ENERGY PROCEDIA 34
- ACTA HORTICULTURAE 29
- CEUR WORKSHOP PROCEEDINGS 25
- ITALIAN JOURNAL OF ANATOMY AND EM... 25
Serie
- AIP CONFERENCE PROCEEDINGS 115
- LECTURE NOTES IN COMPUTER SCIENCE 113
- CEUR WORKSHOP PROCEEDINGS 102
- LECTURE NOTES IN ARTIFICIAL INTEL... 63
- LECTURE NOTES IN CIVIL ENGINEERING 28
- CONFERENCE PROCEEDINGS - IEEE INS... 22
- LECTURE NOTES IN MECHANICAL ENGIN... 21
- LECTURE NOTES IN COMPUTER SCIENCE 18
- STUDIES IN COMPUTATIONAL INTELLIG... 17
- AIP CONFERENCE PROCEEDINGS 16
Keyword
- Physics and Astronomy (all) 63
- Sicilia 55
- Electrical and Electronic Enginee... 50
- Computer Science (all) 45
- GIS 38
- Instrumentation 36
- Computer Networks and Communications 34
- Sicily 33
- Theoretical Computer Science 31
- Safety 27
Lingua
- eng 17348
- ita 9416
- fre 138
- spa 64
- ger 55
- und 20
- gre 17
- rus 14
- lat 13
- grc 11
Accesso al fulltext
- no fulltext 23526
- reserved 4157
- open 1098
- restricted 136
- partially open 23
- embargoed 1