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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 di 4.094
Titolo Data di pubblicazione Autore(i) Tipo File
Simulation and analysis of distributed systems in Klaim 1-gen-2010 Calzolai, Francesco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Property-Preserving Refinement of Concurrent Systems 1-gen-2010 D'Errico, Liliana; Loreti, Michele Capitolo di libro o voce di enciclopedia
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 1-gen-2010 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Quantitative Analysis of Services 1-gen-2011 Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano Capitolo di libro o voce di enciclopedia
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 1-gen-2011 Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Analysing Robot Movement Using the Sensoria Methods 1-gen-2011 Beek, Maurice H.; Lapadula, Alessandro; Loreti, Michele; Palasciano, Claudio Capitolo di libro o voce di enciclopedia
Neuroscienze e processo penale 1-gen-2018 Di Bitonto, Maria Lucia Antonietta Capitolo di libro o voce di enciclopedia
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2012 Bernardo, Marco; Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Context Aware Specification and Verification of Distributed Systems 1-gen-2012 D’Errico, Liliana; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Language-Based Approach to Autonomic Computing 1-gen-2013 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario Capitolo di libro o voce di enciclopedia
Specifying and Verifying Properties of Space 1-gen-2014 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Ricordando Condorcet 1-gen-2016 Toffalori, Carlo Capitolo di libro o voce di enciclopedia
Note sparse per un libro su Matematica e Letteratura 1-gen-2017 Toffalori, Carlo Capitolo di libro o voce di enciclopedia
“Verità fiscale” e giusto procedimento tributario 1-gen-2017 Esposito, Roberto Capitolo di libro o voce di enciclopedia
I paesaggi del Centro Italia: dal passato alla contemporaneità 1-gen-2017 Sargolini, M. Capitolo di libro o voce di enciclopedia
Dalla giustizia retributiva alla giustizia riparativa: le Commissioni di verità e riconciliazione quali epitomi di una giustizia senza benda e senza spada 1-gen-2017 Latino, Agostina Capitolo di libro o voce di enciclopedia
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 1-gen-2014 Ciancia, Vincenzo; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 di 4.094
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 VOLUME4094
Autore
  • SARGOLINI, Massimo141
  • GRIFANTINI, Fabio Maria131
  • DI BITONTO, Maria Lucia Antonietta125
  • COCCIA, Luigi106
  • CIORRA, Giuseppe96
  • D'ANNUNTIIS, Marco83
  • LORETI, Michele69
  • MASTRIGLI, Gabriele68
  • FAVALE, Rocco67
  • DOTI, Gerardo66
Data di pubblicazione
  • In corso di stampa7
  • 2020 - 2026903
  • 2010 - 20191624
  • 2000 - 20091230
  • 1990 - 1999275
  • 1980 - 198952
  • 1970 - 19792
  • 1968 - 19691
Editore
  • Springer167
  • Cedam118
  • Edizioni Scientifiche Italiane112
  • Quodlibet78
  • Editoriale Scientifica75
  • 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
  • paesaggio6
  • patrimonio6
  • benessere5
Lingua
  • ita3026
  • eng1255
  • spa64
  • fre55
  • por28
  • ger20
  • chi7
  • mul6
  • dut2
  • gre2
Accesso al fulltext
  • no fulltext3133
  • reserved765
  • open180
  • partially open15
  • embargoed1