Compositional Reasoning for Multi-modal Logics
2013-01-01 Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
Algebraic Synchronization Trees and Processes
2012-01-01 Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, A
Stability of gyroscopic systems with respect to perturbations
2019-01-01 Guglielmi, Nicola; Nicola and, Manetta; Manuela,
Immigrazione e questione abitativa in Europa occidentale: esperienze nazionali e prospettive europee
2009-01-01 Rossi, U
The multi-dimensional additionality of innovation policies: a multi-level application to Italy and Spain
2015-01-01 Marzucchi, Alberto; Montresor, Sandro
Data-Driven Choreographies à la Klaim
2019-01-01 Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E
Multiplying resistance: the power of the urban in the age of national revanchism
2019-01-01 Mehan, Asma; Rossi, Ugo
Ambivalence of the urban commons
2018-01-01 Enright, Theresa; Rossi, Ugo
Traffic Grooming: Combinatorial Results and Practical Resolutions.
2010-01-01 Flammini, Michele
When Are Prime Formulae Characteristic?
2015-01-01 Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A
A Suite of Monitoring Tools for Erlang
2017-01-01 Cassar, I; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
On the Complexity of Determinizing Monitors
2017-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S
Rule Formats for Nominal Process Calculi
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
The general profile of the outsourcing firm: evidence for a local production system of Emilia Romagna
2009-01-01 Mazzanti, M.; Montresor, S.; Pini, P.
Geography, skills and career patterns at the boundary of creativity and innovation: digital technology and creative arts graduates in the UK
2016-01-01 Comunian, R; Faggian, A; Jewell, S
Labor Market Resilience and Re-orientation in Disaster Scenarios
2018-01-01 Jara, B; Faggian, A
A Framework for Parameterized Monitorability.
2018-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
Rileggere ‘Sull’uso capitalistico del territorio’ oggi
2013-01-01 Rossi, Ugo
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
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
Scopri
Tipologia
- 2 Contributo in Volume341
Data di pubblicazione
- In corso di stampa1
- 2020 - 202573
- 2010 - 2019214
- 2000 - 200949
- 1995 - 19994
Editore
- Springer48
- Routledge18
- Franco Angeli11
- Edward Elgar10
- EGEA10
- CUEC8
- FrancoAngeli6
- Springer International Publishing6
- Società Geografica Italiana5
- Springer Verlag5
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE23
- IFIP INTERNATIONAL FEDERATION FOR...2
- KALPA PUBLICATIONS IN COMPUTING2
- LEIBNIZ INTERNATIONAL PROCEEDINGS...2
- CONTEMPORARY MATHEMATICS1
- LECTURE NOTES IN PHYSICS1
- PITMAN RESEARCH NOTES IN MATHEMAT...1
- STUDI URBANI E REGIONALI1
Serie
- DISCUSSION PAPER SERIES IN REGION...14
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- ADVANCES IN SPATIAL SCIENCE1
- EMS SERIES OF CONGRESS REPORTS1
- INTERNET OF THINGS1
- LECTURE NOTES IN MATHEMATICS1
- OUTSTANDING CONTRIBUTIONS TO LOGIC1
- POLITICAL SCIENCE AND PUBLIC POLICY1
- SCIENZE REGIONALI1
- SPRINGER INDAM SERIES1
Keyword
- Italy4
- Aree interne3
- aree interne3
- Computer Science (all)3
- Robotisation3
- smart development3
- Theoretical Computer Science3
- beni comuni2
- Business2
- città2
Lingua
- eng174
- ita96
- fre1
- spa1
- und1
Accesso al fulltext
- no fulltext283
- reserved41
- open17