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 blockchain-based trustworthy certification process for composite services
2020-01-01 Ardagna, C. A.; Anisetti, M.; Carminati, B.; Damiani, E.; Ferrari, E.; Rondanini, C.
A canonical algebra of open transition systems
2021-01-01 Sabadini, Nicoletta
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
A Peruvian project about astrobiology and optical SETI
2020-01-01 Vargas, Teófilo; Vera, Víctor; Meza, Ivan; Maccone, Claudio; Musso, Paolo; Antonietti, Nicolò
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
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 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
Agenti cancerogeni negli ambienti indoor: criteri ed esempi di valutazione e gestione del rischio
2021-01-01 Cattaneo, Andrea; Spinazzè, Andrea; Cavallo, Domenico M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A blockchain-based trustworthy certification process for composite services | 1-gen-2020 | Ardagna, C. A.; Anisetti, M.; Carminati, B.; Damiani, E.; Ferrari, E.; Rondanini, C. | |
| A canonical algebra of open transition systems | 1-gen-2021 | Sabadini, Nicoletta | |
| A general syntax for nonrecursive higher inductive types | 1-gen-2020 | Girardi, M.; Zunino, R.; Benini, M. | |
| A Peruvian project about astrobiology and optical SETI | 1-gen-2020 | Vargas, Teófilo; Vera, Víctor; Meza, Ivan; Maccone, Claudio; Musso, Paolo; Antonietti, Nicolò | |
| A process calculus approach to correctness enforcement of PLCs | 1-gen-2020 | Lanotte, R.; Merro, M.; Munteanu, A. | |
| 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 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 | |
| Agenti cancerogeni negli ambienti indoor: criteri ed esempi di valutazione e gestione del rischio | 1-gen-2021 | Cattaneo, Andrea; Spinazzè, Andrea; Cavallo, Domenico M. |
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 186
- Atti di Convegno::Relazione (in V... 186
Data di pubblicazione
- 2021 107
- 2020 79
Editore
- Institute of Electrical and Elect... 17
- Springer Science and Business Med... 11
- CEUR-WS 7
- Springer 5
- The Optical Society 5
- Intersentia 3
- Ledizioni 3
- WITPress 3
- Bozen-Bolzano University Press 2
- CEUR 2
Serie
- CEUR WORKSHOP PROCEEDINGS 11
- LECTURE NOTES IN ARTIFICIAL INTEL... 8
- WIT TRANSACTIONS ON ECOLOGY AND T... 5
- COMMUNICATIONS IN COMPUTER AND IN... 3
- QUADERNI DEL CERM 3
- FIB SYMPOSIUM PROCEEDINGS 2
- IFIP ADVANCES IN INFORMATION AND ... 2
- INTERNATIONAL ASTRONAUTICAL CONGR... 2
- ARCHEOALPMED 1
- CONFERENCE ON LASERS AND ELECTRO-... 1
Keyword
- Precast structures 8
- SETI 5
- precast concrete 4
- testing 4
- Mechanical connections 3
- Privacy 3
- sperimentazione 3
- Sustainability 3
- Vertical joints 3
- Access control 2
Lingua
- eng 106
- ita 32
- fre 4
- spa 3
- rus 1
Accesso al fulltext
- no fulltext 112
- reserved 50
- open 22
- restricted 2