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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 981 a 1.000 di 4.076
Titolo Data di pubblicazione Autore(i) Tipo File
The Klaim Project: Theory and Practice 1-gen-2003 Bettini, Lorenzo; Bono, Viviana; DE NICOLA, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Bettin Capitolo di libro o voce di enciclopedia
On Multiple Inheritance in Java. 1-gen-2003 Bettini, Lorenzo; Loreti, Michele; Venneri, Betti Capitolo di libro o voce di enciclopedia
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele Capitolo di libro o voce di enciclopedia
MoMo: A Modal Logic for Reasoning About Mobility 1-gen-2005 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
SCC: a Service Centered Calculus 1-gen-2006 Boreale, Michele; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi Capitolo di libro o voce di enciclopedia
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 1-gen-2008 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele Capitolo di libro o voce di enciclopedia
Design of a Password-Based EAP Method 1-gen-2008 Manganaro, Andrea; Koblensky, Mingyur; Loreti, Michele Capitolo di libro o voce di enciclopedia
Sessions and Pipelines for Structured Service Programming 1-gen-2008 Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Implementing Session Centered Calculi 1-gen-2008 Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
On a Uniform Framework for the Definition of Stochastic Process Languages. 1-gen-2009 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink:, Mieke Capitolo di libro o voce di enciclopedia
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 1-gen-2009 Bravetti, Mario; Latella, Diego; Loreti, Michele; Massink, Mieke; Zavattaro, Gianluigi Capitolo di libro o voce di enciclopedia
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 981 a 1.000 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