RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Towards Abstraction-Based Verification of Shape Calculus
2012-01-01 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Towards Sustainable Urban Planning in Times of Climate Change
2012-01-01 D'Onofrio, Rosalba
Transesophageal echocardiography as the sole guidance for occlusion of patent ductus arteriosus using the Amplatz® Canine Ductal Occluder in dogs: a preliminary study.
2012-01-01 Francesco, Porciello; Francesco, Birettoni; Domenico, Caivano; Fruganti, Alessandro; Maria Elena, Giorgi; Mark, Rishniw; Patrizia, Knafelz; Sydney Moise, Nancy.
Transesophageal echocardiography as the sole guidance for occlusion of patent ductus arteriosus using the Amplatz® Canine Ductal Occluder in dogs: a preliminary study.
2012-01-01 Francesco, Porciello; Francesco, Birettoni; Domenico, Caivano; Fruganti, Alessandro; Maria Elena, Giorgi; Mark, Rishniw; Patrizia, Knafelz; Nancy Sydney, Moise
TREATMENT WITH A CHOLINERGIC PRECURSOR IN AN ANIMAL MODEL OF CEREBROVASCULAR DISEASE: INSIGHTS INTO MECHANISMS OF NEUROPROTECTIVE ACTIVITY
2017-01-01 Tayebati, Seyed Khosrow; Tomassoni, Daniele; Martinellia, Ilenia; Moruzzi, Michele; Amenta, Francesco
Trench curvature and the state of stress of subducting slabs
2010-01-01 Schettino, Antonio; Tassi, Luca
Trota fario (Salmo [trutta] trutta): incidenza dell’età dei riproduttori sulla qualità delle uova e sull’entità delle larve prodotte
2010-01-01 Mordenti, O.; Zaccaroni, A.; Brandolini, D.; Dees, A.; Roncarati, Alessandra; Scaravelli, D.
Una sottile linea d'ombra
2010-01-01 D'Annuntiis, Marco; Carlo, Palazzolo
Understanding the pathophysiology of feline hepatic lipidosis
2015-01-01 Piccinini, Andrea; Berardi, Sara; Cammertoni, Natalina; Magi, Gian Enrico; Mari, Subeide; Scarpona, Silvia; Rossi, Giacomo
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
2011-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Towards Abstraction-Based Verification of Shape Calculus | 1-gen-2012 | Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
Towards Sustainable Urban Planning in Times of Climate Change | 1-gen-2012 | D'Onofrio, Rosalba | Contributo in atto di convegno su rivista | |
Transesophageal echocardiography as the sole guidance for occlusion of patent ductus arteriosus using the Amplatz® Canine Ductal Occluder in dogs: a preliminary study. | 1-gen-2012 | Francesco, Porciello; Francesco, Birettoni; Domenico, Caivano; Fruganti, Alessandro; Maria Elena, Giorgi; Mark, Rishniw; Patrizia, Knafelz; Sydney Moise, Nancy. | Contributo in atto di convegno su rivista | |
Transesophageal echocardiography as the sole guidance for occlusion of patent ductus arteriosus using the Amplatz® Canine Ductal Occluder in dogs: a preliminary study. | 1-gen-2012 | Francesco, Porciello; Francesco, Birettoni; Domenico, Caivano; Fruganti, Alessandro; Maria Elena, Giorgi; Mark, Rishniw; Patrizia, Knafelz; Nancy Sydney, Moise | Contributo in atto di convegno su rivista | |
TREATMENT WITH A CHOLINERGIC PRECURSOR IN AN ANIMAL MODEL OF CEREBROVASCULAR DISEASE: INSIGHTS INTO MECHANISMS OF NEUROPROTECTIVE ACTIVITY | 1-gen-2017 | Tayebati, Seyed Khosrow; Tomassoni, Daniele; Martinellia, Ilenia; Moruzzi, Michele; Amenta, Francesco | Poster atto convegno su rivista | |
Trench curvature and the state of stress of subducting slabs | 1-gen-2010 | Schettino, Antonio; Tassi, Luca | Contributo in atto di convegno su rivista | |
Trota fario (Salmo [trutta] trutta): incidenza dell’età dei riproduttori sulla qualità delle uova e sull’entità delle larve prodotte | 1-gen-2010 | Mordenti, O.; Zaccaroni, A.; Brandolini, D.; Dees, A.; Roncarati, Alessandra; Scaravelli, D. | Poster atto convegno su rivista | |
Una sottile linea d'ombra | 1-gen-2010 | D'Annuntiis, Marco; Carlo, Palazzolo | Contributo in atto di convegno su rivista | |
Understanding the pathophysiology of feline hepatic lipidosis | 1-gen-2015 | Piccinini, Andrea; Berardi, Sara; Cammertoni, Natalina; Magi, Gian Enrico; Mari, Subeide; Scarpona, Silvia; Rossi, Giacomo | Contributo in atto di convegno su rivista | |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi | 1-gen-2011 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Contributo in atto di convegno su rivista |
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
Opzioni
Scopri
Tipologia
- 04 ATTO DI CONVEGNO SU RIVISTA 400
- 04 ATTO DI CONVEGNO SU RIVISTA::C... 153
- 04 ATTO DI CONVEGNO SU RIVISTA::P... 152
- 04 ATTO DI CONVEGNO SU RIVISTA::A... 95
Data di pubblicazione
- 2019 30
- 2018 15
- 2017 48
- 2016 32
- 2015 28
- 2014 42
- 2013 42
- 2012 44
- 2011 64
- 2010 55
Editore
- - 1
Rivista
- GEOPHYSICAL RESEARCH ABSTRACTS 22
- PURINERGIC SIGNALLING 19
- INVERTEBRATE SURVIVAL JOURNAL 13
- ITALIAN JOURNAL OF ANATOMY AND EM... 13
- ELECTRONIC PROCEEDINGS IN THEORET... 12
- EUROPEAN JOURNAL OF HISTOCHEMISTRY 12
- JOURNAL OF NUTRIGENETICS AND NUTR... 12
- RENDICONTI ONLINE DELLA SOCIETÀ G... 12
- APPETITE 11
- ITALIAN JOURNAL OF ANATOMY AND EM... 11
Keyword
- Collective Adaptive Systems 1
- Formal Methods 1
- Formal methods 1
- formal semantics 1
- Model checking 1
- Probabilistic equivalences 1
- Quantitative Analysis 1
- quantitative analysis 1
- stochastic process calculi 1
Lingua
- eng 353
- ita 56
- cat 1
- spa 1
Accesso al fulltext
- no fulltext 325
- open 46
- reserved 25
- partially open 4