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.
Application of verification techniques to security: Model checking insider attacks
2013-01-01 Kammüller, Florian; Probst, Christian W.; Raimondi, Franco
Application-Layer Connector Synthesis
2011-01-01 Inverardi, P; Romina, Spalazzese; Massimo, Tivoli
Ascesa e crisi dell’Europa meridionale nell’era neoliberale
2014-01-01 Rossi, Ugo
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?
2012-01-01 Autili, M; Inverardi, P; Tivoli, M
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2015-01-01 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Axiomatizing GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Behavioural Types: from Theory to Tools
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Bilancio e contabilità
2019-01-01 Dal Molin, M.; Bruno, A.
Can we learn more on tourism taxation? A counterfactual analysis
2015-01-01 Biagi, Bianca; Brandano, MARIA GIOVANNA; Pulina, Manuela
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Application of verification techniques to security: Model checking insider attacks | 1-gen-2013 | Kammüller, Florian; Probst, Christian W.; Raimondi, Franco | |
Application-Layer Connector Synthesis | 1-gen-2011 | Inverardi, P; Romina, Spalazzese; Massimo, Tivoli | |
Ascesa e crisi dell’Europa meridionale nell’era neoliberale | 1-gen-2014 | Rossi, Ugo | |
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? | 1-gen-2012 | Autili, M; Inverardi, P; Tivoli, M | |
Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo | |
Axiomatizing GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
Axiomatizing Weak Ready Simulation Semantics over BCCSP | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
Behavioural Types: from Theory to Tools | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. | |
Bilancio e contabilità | 1-gen-2019 | Dal Molin, M.; Bruno, A. | |
Can we learn more on tourism taxation? A counterfactual analysis | 1-gen-2015 | Biagi, Bianca; Brandano, MARIA GIOVANNA; Pulina, Manuela |
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
- 2 Contributo in Volume 214
- 2 Contributo in Volume::2.1 Contr... 208
- 2 Contributo in Volume::2.4 Voce ... 4
- 2 Contributo in Volume::2.2 Prefa... 2
Data di pubblicazione
- 2019 21
- 2018 22
- 2017 30
- 2016 11
- 2015 20
- 2014 20
- 2013 28
- 2012 19
- 2011 29
- 2010 14
Editore
- Springer 34
- Routledge 12
- EGEA 10
- CUEC 6
- Edward Elgar 6
- Springer International Publishing 6
- Società Geografica Italiana 5
- Springer-Verlag 5
- Feltrinelli Edizioni 4
- FrancoAngeli 4
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 21
- KALPA PUBLICATIONS IN COMPUTING 2
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 2
- CONTEMPORARY MATHEMATICS 1
- OPEN ACCESS SERIES IN INFORMATICS 1
- STUDI URBANI E REGIONALI 1
Serie
- EMS SERIES OF CONGRESS REPORTS 1
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN MATHEMATICS 1
Keyword
- Computer Science (all) 3
- smart development 3
- Theoretical Computer Science 3
- Business 2
- Economics 2
- energy efficiency 2
- globalizzazione 2
- identità territoriale 2
- industrial districts 2
- innovation 2
Lingua
- eng 109
- ita 57
- spa 1
Accesso al fulltext
- no fulltext 180
- reserved 30
- open 4