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.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A proof-theoretical semantics for homotopy type theory
2020-01-01 Benini, Marco; Bonacina, Roberta
A Risk Assessment Mechanism for Android Apps
2021-01-01 Son, H. X.; Carminati, B.; Ferrari, E.
A serious game to anticipate handwriting difficulties screening through visual perception assessment
2021-01-01 Piazzalunga, C.; Dui, L. G.; Termine, C.; Bortolozzo, M.; Ferrante, S.; Matteucci, M.
A tool to translate Italian occupation codes to ISCO-68 codes
2021-01-01 Spinazzè, A; Consonni, D; Borghi, F; Rovelli, S; Cattaneo, A; Zellino, C; Dallari, B; Peters, S; Cavallo, D; Mensi, C
A widely tunable difference-frequency-generation laser for high-resolution spectroscopy in the 667-865 cm-1range
2021-01-01 Shakfa, M. K.; Lamperti, M.; Gotti, R.; Gatti, D.; Elkhazraji, A.; Hakimov, K.; Marangoni, M.; Farooq, A.
Access Control Enforcement in IoT: state of the art and open challenges in the Zero Trust era
2021-01-01 Colombo, Pietro; Ferrari, Elena; Tumer, Engin Deniz
Advanced echocardiographic assessment in outpatients with advanced heart failure undergoing periodical levosimendan infusion
2021-01-01 Morello, M; Miglierina, E; Golino, M; Ceriani, F; Oliva, C; Blasi, F; Croce, F; Seganfreddo, F; Refujiati, T; Marazzato, J; De Ponti, R
Agenti cancerogeni negli ambienti indoor: criteri ed esempi di valutazione e gestione del rischio
2021-01-01 Cattaneo, Andrea; Spinazzè, Andrea; Cavallo, Domenico M.
AL AMYLOIDOSIS AND THE FAILING HEART: THE UNUSUAL PATH FROM IMAGING TO DIAGNOSIS
2020-01-01 Guerci, Marco; Vecchi, ANDREA LORENZO; Grimoldi, Paola; Basilico Claudia, Maria; D’Amato, Pascarella; Turato, Sara; DALLE FRATTE, Marta; Camera, Antonio; Dentali, Francesco; Castiglioni, Battistina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A process calculus approach to correctness enforcement of PLCs | 1-gen-2020 | Lanotte, R.; Merro, M.; Munteanu, A. | |
| A proof-theoretical semantics for homotopy type theory | 1-gen-2020 | Benini, Marco; Bonacina, Roberta | |
| A Risk Assessment Mechanism for Android Apps | 1-gen-2021 | Son, H. X.; Carminati, B.; Ferrari, E. | |
| A serious game to anticipate handwriting difficulties screening through visual perception assessment | 1-gen-2021 | Piazzalunga, C.; Dui, L. G.; Termine, C.; Bortolozzo, M.; Ferrante, S.; Matteucci, M. | |
| A tool to translate Italian occupation codes to ISCO-68 codes | 1-gen-2021 | Spinazzè, A; Consonni, D; Borghi, F; Rovelli, S; Cattaneo, A; Zellino, C; Dallari, B; Peters, S; Cavallo, D; Mensi, C | |
| A widely tunable difference-frequency-generation laser for high-resolution spectroscopy in the 667-865 cm-1range | 1-gen-2021 | Shakfa, M. K.; Lamperti, M.; Gotti, R.; Gatti, D.; Elkhazraji, A.; Hakimov, K.; Marangoni, M.; Farooq, A. | |
| Access Control Enforcement in IoT: state of the art and open challenges in the Zero Trust era | 1-gen-2021 | Colombo, Pietro; Ferrari, Elena; Tumer, Engin Deniz | |
| Advanced echocardiographic assessment in outpatients with advanced heart failure undergoing periodical levosimendan infusion | 1-gen-2021 | Morello, M; Miglierina, E; Golino, M; Ceriani, F; Oliva, C; Blasi, F; Croce, F; Seganfreddo, F; Refujiati, T; Marazzato, J; De Ponti, R | |
| Agenti cancerogeni negli ambienti indoor: criteri ed esempi di valutazione e gestione del rischio | 1-gen-2021 | Cattaneo, Andrea; Spinazzè, Andrea; Cavallo, Domenico M. | |
| AL AMYLOIDOSIS AND THE FAILING HEART: THE UNUSUAL PATH FROM IMAGING TO DIAGNOSIS | 1-gen-2020 | Guerci, Marco; Vecchi, ANDREA LORENZO; Grimoldi, Paola; Basilico Claudia, Maria; D’Amato, Pascarella; Turato, Sara; DALLE FRATTE, Marta; Camera, Antonio; Dentali, Francesco; Castiglioni, Battistina |
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
- Atti di Convegno 355
- Atti di Convegno::Relazione (in V... 192
- Atti di Convegno::Abstract (in Vo... 84
- Atti di Convegno::Abstract (in Ri... 44
- Atti di Convegno::Relazione (in R... 20
- Atti di Convegno::Poster 15
Data di pubblicazione
- 2021 214
- 2020 141
Editore
- Institute of Electrical and Elect... 20
- Springer Science and Business Med... 11
- CEUR-WS 7
- Associazione Italiana degli Igien... 6
- Springer 6
- The Optical Society 5
- CEUR 3
- Intersentia 3
- Ledizioni 3
- Optica Publishing Group (formerly... 3
Rivista
- INVERTEBRATE SURVIVAL JOURNAL 5
- ITALIAN JOURNAL OF ANIMAL SCIENCE 5
- EUROPEAN HEART JOURNAL SUPPLEMENTS 4
- TRANSPLANT INTERNATIONAL 4
- JOURNAL OF OSSEOINTEGRATION 3
- PHARMADVANCES 3
- STUDIA UNIVERSITATIS BABES-BOLYAI... 3
- COMPUTING IN CARDIOLOGY 2
- MATEC WEB OF CONFERENCES 2
- MEDICINA HISTORICA 2
Serie
- CEUR WORKSHOP PROCEEDINGS 14
- LECTURE NOTES IN ARTIFICIAL INTEL... 8
- WIT TRANSACTIONS ON ECOLOGY AND T... 6
- COMMUNICATIONS IN COMPUTER AND IN... 3
- QUADERNI DEL CERM 3
- FIB SYMPOSIUM PROCEEDINGS 2
- IEEE ENGINEERING IN MEDICINE AND ... 2
- IFIP ADVANCES IN INFORMATION AND ... 2
- INTERNATIONAL ASTRONAUTICAL CONGR... 2
- Optics InfoBase Conference Papers 2
Keyword
- Precast structures 8
- SETI 6
- precast concrete 4
- testing 4
- Mechanical connections 3
- Pietro Verri 3
- Privacy 3
- RNASET2 3
- sperimentazione 3
- Sustainability 3
Lingua
- eng 189
- ita 44
- fre 5
- spa 3
- rus 1
Accesso al fulltext
- no fulltext 249
- reserved 69
- open 33
- restricted 4