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 Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A contribution to the development of a public – private integrated network of wireless sensors for an enhanced management of air quality
2012-01-01 Ragazzi, Marco; Rada, Elena Cristina; Chisté, A.; Schiavon, M.; Ciolli, Marco; Zambelli, Pietro; Brini, M.; Marmo, L.; Chelodi, M.
A contribution to the evolution of the BAT concept in the steelmaking sector
2012-01-01 Rada, Elena Cristina; Ragazzi, Marco; Chistè, Alessandro; Schiavon, Marco; W., Tirler; Tubino, Marco; Antonacci, Gianluca; Todeschini, Ilaria; Toffolon, Marco
A Correlation clustering approach to link classification in signed networks
2012-01-01 Cesa Bianchi, N; Gentile, Claudio; Vitale, F; Zappella, G.
A cross-media environment for teacher training
2014-01-01 Bonometti, Stefano
A decidable constructive description logic
2010-01-01 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
a distributed critical state detection system for industrial protocols
2010-01-01 NAi Fovino, I.; Trombetta, Alberto; Carcano, A.; Masera, M.; Guglielmi, M.
A Dynamical Quality Model to Continuously Monitor Software Maintenance
2017-01-01 Lenarduzzi, V; Stan, Ac; Taibi, D; Tosi, D; Venters, G
A Formal Approach to Cyber-Physical Attacks
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A forward unprovability calculus for intuitionistic propositional logic
2017-01-01 Fiorentini, Camillo; Ferrari, Mauro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
A contribution to the development of a public – private integrated network of wireless sensors for an enhanced management of air quality | 1-gen-2012 | Ragazzi, Marco; Rada, Elena Cristina; Chisté, A.; Schiavon, M.; Ciolli, Marco; Zambelli, Pietro; Brini, M.; Marmo, L.; Chelodi, M. | |
A contribution to the evolution of the BAT concept in the steelmaking sector | 1-gen-2012 | Rada, Elena Cristina; Ragazzi, Marco; Chistè, Alessandro; Schiavon, Marco; W., Tirler; Tubino, Marco; Antonacci, Gianluca; Todeschini, Ilaria; Toffolon, Marco | |
A Correlation clustering approach to link classification in signed networks | 1-gen-2012 | Cesa Bianchi, N; Gentile, Claudio; Vitale, F; Zappella, G. | |
A cross-media environment for teacher training | 1-gen-2014 | Bonometti, Stefano | |
A decidable constructive description logic | 1-gen-2010 | Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido | |
a distributed critical state detection system for industrial protocols | 1-gen-2010 | NAi Fovino, I.; Trombetta, Alberto; Carcano, A.; Masera, M.; Guglielmi, M. | |
A Dynamical Quality Model to Continuously Monitor Software Maintenance | 1-gen-2017 | Lenarduzzi, V; Stan, Ac; Taibi, D; Tosi, D; Venters, G | |
A Formal Approach to Cyber-Physical Attacks | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca | |
A forward unprovability calculus for intuitionistic propositional logic | 1-gen-2017 | Fiorentini, Camillo; Ferrari, Mauro |
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 1498
- Atti di Convegno::Relazione (in V... 1498
Data di pubblicazione
- 2019 103
- 2018 109
- 2017 134
- 2016 144
- 2015 143
- 2014 157
- 2013 160
- 2012 210
- 2011 181
- 2010 157
Editore
- Institute of Electrical and Elect... 62
- IEEE 39
- IEEE Computer Society 30
- Springer 30
- Springer Verlag 30
- ACM 21
- CISA Publisher 21
- WITPress 15
- SPIE 14
- CISA - Environmental Sanitary Eng... 13
Rivista
- ACM INTERNATIONAL CONFERENCE PROC... 1
- INTERNATIONAL JOURNAL OF ENERGY P... 1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 32
- CEUR WORKSHOP PROCEEDINGS 12
- WIT TRANSACTIONS ON ECOLOGY AND T... 10
- Optics InfoBase Conference Papers 9
- PROCEEDINGS OF SPIE, THE INTERNAT... 9
- LECTURE NOTES IN ARTIFICIAL INTEL... 8
- WIT TRANSACTIONS ON ECOLOGY AND T... 8
- AIP CONFERENCE PROCEEDINGS 7
- LECTURE NOTES IN COMPUTER SCIENCE 6
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 4
Keyword
- MSW 33
- Physics and Astronomy (all) 21
- Computer Networks and Communications 20
- Electrical and Electronic Enginee... 19
- Computer Science (all) 18
- Nuclear and High Energy Physics 17
- Software 17
- SRF 17
- bio-drying 15
- Computer Science Applications1707... 15
Lingua
- eng 699
- ita 150
- fre 11
- spa 3
- ger 2
- gre 2
- rus 2
- enm 1
- mul 1
- rum 1
Accesso al fulltext
- no fulltext 1311
- reserved 116
- open 69
- restricted 2