3.1 Contributo in volume (capitolo o saggio): [4076] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 di 4.076
Titolo Data di pubblicazione Autore(i) Tipo File
Tools for Ensemble Design and Runtime 1-gen-2015 Abeywickrama Dhaminda, B.; Combaz, Jacques; Horký, Vojtěch; Keznikl, Jaroslav; Kofroň, Jan; Lafuente Alberto, Lluch; Loreti, Michele; Margheri, Andrea; Mayer, Philip; Monreale, Valentina; Montanari, Ugo; Pinciroli, Carlo; Tůma, Petr; Vandin, Andrea; Vassev, Emil Capitolo di libro o voce di enciclopedia
An experimental spatio-temporal model checker 1-gen-2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 1-gen-2015 Rocco De, Nicola; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
On-the-fly fluid model checking via discrete time population models 1-gen-2015 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 1-gen-2015 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo Capitolo di libro o voce di enciclopedia
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 1-gen-2015 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
On StocS: A Stochastic Extension of SCEL 1-gen-2015 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio Capitolo di libro o voce di enciclopedia
Spatial logic and spatial model checking for closure spaces 1-gen-2016 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Modelling and analysis of collective adaptive systems with CARMA and its tools 1-gen-2016 Loreti, Michele; Hillston, Jane Capitolo di libro o voce di enciclopedia
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 1-gen-2016 Hillston, Jane; Loreti, Michele Capitolo di libro o voce di enciclopedia
Programming of CAS systems by relying on attribute-based communication 1-gen-2016 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
The ICP forests Level I biodiversity data. A harmonized data source and baseline for plant species and structural diversity on european forest ecosystems 1-gen-2016 Canullo, R. Capitolo di libro o voce di enciclopedia
Actual and potential impact of air pollution on Italian forests: results from the long-term national forest monitoring networks under the ICP Forests 1-gen-2017 Ferretti, M.; Bertini, G.; Bussotti, F.; Canini, L.; Cammarano, M.; Canullo, R.; Carnicelli, S.; Cecchini, G.; Fabbio, G.; Farina, A.; Giorgini, D.; Feducci, M.; Marchetto, A.; Marchi, M.; Matteucci, G.; Zouglami, K. Capitolo di libro o voce di enciclopedia
European Grasslands Gradient and the Resilience to Extreme Climate Events: The SIGNAL Project in Italy 1-gen-2018 Cianfaglione, Kevin; Chelli, Stefano; Campetella, Giandiego; Wellstein, Camilla; Cervellini, Marco; Ballelli, Sandro; Lucarini, Domenico; Canullo, Roberto; Anke Jentsch, And Capitolo di libro o voce di enciclopedia
Piano di gestione e progetto di valorizzazione paesaggistica per la Riserva Naturale Abbadia di Fiastra (Marche) 1-gen-2016 Sargolini, M.; Pierantoni, I. Capitolo di libro o voce di enciclopedia
Le aree interne: un monitoraggio critico 1-gen-2016 Sargolini, M. Capitolo di libro o voce di enciclopedia
FlyFast: A mean field model checker 1-gen-2017 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Acetic acid bacteria as symbionts of insects 1-gen-2016 Favia, Guido Capitolo di libro o voce di enciclopedia
Metamorfosi della crisi 1-gen-2017 Coccia, Luigi Capitolo di libro o voce di enciclopedia
ACQUE FLUVIALI 1-gen-2017 Scuri, Stefania Capitolo di libro o voce di enciclopedia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 di 4.076
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
  • 3 CONTRIBUTO SPECIFICO IN VOLUME4076
Autore
  • SARGOLINI, Massimo140
  • GRIFANTINI, Fabio Maria131
  • DI BITONTO, Maria Lucia Antonietta125
  • COCCIA, Luigi103
  • CIORRA, Giuseppe96
  • D'ANNUNTIIS, Marco82
  • LORETI, Michele69
  • MASTRIGLI, Gabriele68
  • FAVALE, Rocco67
  • DOTI, Gerardo65
Data di pubblicazione
  • In corso di stampa7
  • 2020 - 2026886
  • 2010 - 20191623
  • 2000 - 20091230
  • 1990 - 1999275
  • 1980 - 198952
  • 1970 - 19792
  • 1968 - 19691
Editore
  • Springer167
  • Cedam118
  • Edizioni Scientifiche Italiane112
  • Editoriale Scientifica74
  • Quodlibet74
  • Giuffrè69
  • ESI61
  • CEDAM56
  • Giappichelli52
  • Gangemi50
Rivista
  • LAW AND PHILOSOPHY LIBRARY1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE61
  • THE URBAN BOOK SERIES16
  • SAAD PRINT | ON OCCASIONI DELLA R...15
  • BREVIARIA IURIS12
  • GEO_URBAN&LANDSCAPE PLANNING8
  • LECTURE NOTES IN NETWORKS AND SYS...8
  • PENSIERI AD ARTE8
  • EXPECTATIONS6
  • INTERNET OF THINGS6
  • LECTURE NOTES IN COMPUTER SCIENCE6
Keyword
  • Computer Science (all)9
  • Theoretical Computer Science9
  • architettura7
  • pianificazione paesaggistica7
  • rilievo integrato7
  • architettura archeologica6
  • Città6
  • benessere5
  • greening5
  • modelli 2D/3D5
Lingua
  • ita3008
  • eng1254
  • spa64
  • fre55
  • por28
  • ger20
  • chi7
  • mul6
  • dut2
  • gre2
Accesso al fulltext
  • no fulltext3122
  • reserved759
  • open179
  • partially open15
  • embargoed1