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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 841 a 860 di 3.814
Titolo Data di pubblicazione Autore(i) Tipo File
Provably Correct Implementations of Services 1-gen-2009 Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo Capitolo di libro o voce di enciclopedia
Rate-Based Transition Systems for Stochastic Process Calculi 1-gen-2009 DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Assume-Guarantee Verification of Concurrent Systems 1-gen-2009 D'Errico, Liliana; Loreti, Michele Capitolo di libro o voce di enciclopedia
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 841 a 860 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