Relazione (in Volume)

Relazione (in Volume): [3782] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.661 a 3.680 di 3.782

Towards the exhaustive verification of real-time aspects in controller implementation

2008-01-01 Furia C. A, Mazzucchelli M.; Spoletini, Paola

A model checking approach to verify BPEL4WS workflows

2007-01-01 Bianculli, D.; Ghezzi, C.; Spoletini, Paola

Fuzzy querying of semistructured data

2005-01-01 Campi, A.; Guinea, S.; Spoletini, Paola

Formal verification of production systems performance: a new approach to the detailed system design phase

2006-01-01 Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M.

A formal approach supporting the specification and verification of business conversation requirements.

2005-01-01 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola

A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures

2006-01-01 Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola

Geology and mining in 18th century Italy: Giovanni Arduino and Spirito Nicolis di Robilant

2001-01-01 Vaccari, Ezio

Lazzaro Spallanzani and his geological travels to the "Due Sicilie": the volcanology of the Aeolian Islands

1998-01-01 Vaccari, Ezio

History checking of XML data streams

2006-01-01 Campi, A.; Spoletini, Paola

An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application

2003-01-01 Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola

Practical Model Checking of LTL with Past

2003-01-01 Pradella, M.; San Pietro, P.; Spoletini, Paola; Morzenti, A.

Giordano Bruno e il multiverso. Scientificizzazione della metafisica o metafisicizzazione della scienza?

2002-01-01 Musso, Paolo; Ascheri, V.

How advanced is ET?

2003-01-01 Musso, Paolo

Depurazione biologica dell'aria

1999-01-01 Torretta, Vincenzo

Scienza e metafisica: il caso della cosmologia

2005-01-01 Musso, Paolo

Processi e tecnologie impiantistiche per il controllo degli odori negli impianti di trattamento delle acque di scarico

1996-01-01 Torretta, Vincenzo; Cernuschi, S.

Wide cultural communication in interstellar messages

2002-01-01 Musso, Paolo

Il lagunaggio

1995-01-01 Torretta, Vincenzo; Vismara, R.

Impatto ambientale dei prelievi di acque superficiali

1995-01-01 Torretta, Vincenzo; Renoldi, M; Vismara, R.

Scenari possibili per un corretto sistema di smaltimento dei rifiuti

1997-01-01 Torretta, Vincenzo

Titolo	Data di pubblicazione	Autore(i)
Towards the exhaustive verification of real-time aspects in controller implementation	1-gen-2008	Furia C. A, Mazzucchelli M.; Spoletini, Paola
A model checking approach to verify BPEL4WS workflows	1-gen-2007	Bianculli, D.; Ghezzi, C.; Spoletini, Paola
Fuzzy querying of semistructured data	1-gen-2005	Campi, A.; Guinea, S.; Spoletini, Paola
Formal verification of production systems performance: a new approach to the detailed system design phase	1-gen-2006	Spoletini, Paola; Tomassella, M.; Matta, A.; Rossi, M.
A formal approach supporting the specification and verification of business conversation requirements.	1-gen-2005	Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures	1-gen-2006	Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
Geology and mining in 18th century Italy: Giovanni Arduino and Spirito Nicolis di Robilant	1-gen-2001	Vaccari, Ezio
Lazzaro Spallanzani and his geological travels to the "Due Sicilie": the volcanology of the Aeolian Islands	1-gen-1998	Vaccari, Ezio
History checking of XML data streams	1-gen-2006	Campi, A.; Spoletini, Paola
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application	1-gen-2003	Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola
Practical Model Checking of LTL with Past	1-gen-2003	Pradella, M.; San Pietro, P.; Spoletini, Paola; Morzenti, A.
Giordano Bruno e il multiverso. Scientificizzazione della metafisica o metafisicizzazione della scienza?	1-gen-2002	Musso, Paolo; Ascheri, V.
How advanced is ET?	1-gen-2003	Musso, Paolo
Depurazione biologica dell'aria	1-gen-1999	Torretta, Vincenzo
Scienza e metafisica: il caso della cosmologia	1-gen-2005	Musso, Paolo
Processi e tecnologie impiantistiche per il controllo degli odori negli impianti di trattamento delle acque di scarico	1-gen-1996	Torretta, Vincenzo; Cernuschi, S.
Wide cultural communication in interstellar messages	1-gen-2002	Musso, Paolo
Il lagunaggio	1-gen-1995	Torretta, Vincenzo; Vismara, R.
Impatto ambientale dei prelievi di acque superficiali	1-gen-1995	Torretta, Vincenzo; Renoldi, M; Vismara, R.
Scenari possibili per un corretto sistema di smaltimento dei rifiuti	1-gen-1997	Torretta, Vincenzo

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.661 a 3.680 di 3.782

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 fulltext3344
reserved291
open137
restricted10