3.1 Contributo in volume (capitolo o saggio)

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.001 a 1.020 di 4.076

Neuroscienze e processo penale

2018-01-01 Di Bitonto, Maria Lucia Antonietta

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

2012-01-01 Bernardo, Marco; Nicola, Rocco; Loreti, Michele

Context Aware Specification and Verification of Distributed Systems

2012-01-01 D’Errico, Liliana; Loreti, Michele

A Language-Based Approach to Autonomic Computing

2013-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario

Specifying and Verifying Properties of Space

2014-01-01 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke

Ricordando Condorcet

2016-01-01 Toffalori, Carlo

Note sparse per un libro su Matematica e Letteratura

2017-01-01 Toffalori, Carlo

“Verità fiscale” e giusto procedimento tributario

2017-01-01 Esposito, Roberto

I paesaggi del Centro Italia: dal passato alla contemporaneità

2017-01-01 Sargolini, M.

Dalla giustizia retributiva alla giustizia riparativa: le Commissioni di verità e riconciliazione quali epitomi di una giustizia senza benda e senza spada

2017-01-01 Latino, Agostina

Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data

2014-01-01 Ciancia, Vincenzo; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Massink, Mieke

Group-by-group probabilistic bisimilarities and their logical characterizations

2014-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele

On-the-fly fast mean-field model-checking

2014-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke

Teoria politica ed etica della cura

2017-01-01 Paterno', Maria Pia

Rituali e macchine. Lo spazio del cibo, dalla dimensione domestica alla sfera pubblica

2017-01-01 Mastrigli, Gabriele

Université de Camerino Ecole d'Architecture et de Design de Ascoli Piceno (UNICAM) - Room(s)

2017-01-01 Mastrigli, Gabriele

Superstudio

2017-01-01 Mastrigli, Gabriele

Superstudio

2017-01-01 Mastrigli, Gabriele

Sostenibilità delle produzioni primarie costiere

2017-01-01 Felici, A

Tattica. Il contributo dell'urbanistica tattica alla nascita di un nuovo linguaggio tecnico

2017-01-01 Talia, Michele

Titolo	Data di pubblicazione	Autore(i)	Tipo
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
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

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 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

Accesso al fulltext

no fulltext3122
reserved759
open179
partially open15
embargoed1