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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 861 a 880 di 3.814
Titolo Data di pubblicazione Autore(i) Tipo File
Group-by-group probabilistic bisimilarities and their logical characterizations 1-gen-2014 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
On-the-fly fast mean-field model-checking 1-gen-2014 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Teoria politica ed etica della cura 1-gen-2017 Paterno', Maria Pia Capitolo di libro o voce di enciclopedia
Rituali e macchine. Lo spazio del cibo, dalla dimensione domestica alla sfera pubblica 1-gen-2017 Mastrigli, Gabriele Capitolo di libro o voce di enciclopedia
Université de Camerino Ecole d'Architecture et de Design de Ascoli Piceno (UNICAM) - Room(s) 1-gen-2017 Mastrigli, Gabriele Capitolo di libro o voce di enciclopedia
Superstudio 1-gen-2017 Mastrigli, Gabriele Capitolo di libro o voce di enciclopedia
Superstudio 1-gen-2017 Mastrigli, Gabriele Capitolo di libro o voce di enciclopedia
Sostenibilità delle produzioni primarie costiere 1-gen-2017 Felici, A Capitolo di libro o voce di enciclopedia
Tattica. Il contributo dell'urbanistica tattica alla nascita di un nuovo linguaggio tecnico 1-gen-2017 Talia, Michele Capitolo di libro o voce di enciclopedia
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 861 a 880 di 3.814
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 VOLUME3814
Autore
  • SARGOLINI, Massimo130
  • DI BITONTO, Maria Lucia Antonietta125
  • GRIFANTINI, Fabio Maria125
  • COCCIA, Luigi101
  • CIORRA, Giuseppe96
  • D'ANNUNTIIS, Marco78
  • FAVALE, Rocco66
  • LORETI, Michele66
  • DOTI, Gerardo64
  • MASTRIGLI, Gabriele63
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 2025671
  • 2010 - 20191578
  • 2000 - 20091230
  • 1990 - 1999275
  • 1980 - 198952
  • 1970 - 19792
  • 1968 - 19691
Editore
  • Springer158
  • Cedam116
  • Edizioni Scientifiche Italiane103
  • Editoriale Scientifica71
  • Giuffrè68
  • Quodlibet62
  • ESI57
  • CEDAM56
  • Gangemi50
  • Giappichelli45
Rivista
  • LAW AND PHILOSOPHY LIBRARY1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE56
  • THE URBAN BOOK SERIES16
  • BREVIARIA IURIS12
  • SAAD PRINT | ON OCCASIONI DELLA R...12
  • GEO_URBAN&LANDSCAPE PLANNING8
  • LECTURE NOTES IN NETWORKS AND SYS...8
  • PENSIERI AD ARTE8
  • EXPECTATIONS6
  • LECTURE NOTES IN COMPUTER SCIENCE6
  • INTERNET OF THINGS5
Keyword
  • Computer Science (all)9
  • Theoretical Computer Science9
  • pianificazione paesaggistica7
  • Formal Methods4
  • landscape planning3
  • Autonomic Computing2
  • contratto di fiume2
  • european program2
  • gestione /trasformazione2
  • informal city2
Lingua
  • ita2807
  • eng1174
  • spa62
  • fre52
  • por28
  • ger20
  • mul6
  • chi5
  • dut2
  • gre2
Accesso al fulltext
  • no fulltext3007
  • reserved651
  • open144
  • partially open11
  • embargoed1