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.

cerca in
Risultati 131 - 140 di 153 (tempo di esecuzione: 0.045 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
Stochastically timed predicate-based communication primitives for autonomic computing 1-gen-2014 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio Contributo in atto di convegno su rivista
Strongly correlated excitation of a quasi-1D Rydberg gas 1-gen-2014 Malossi, Nicola; Valado, M. M; Scotto, S; Morsch, O; Arimondo, E; Ciampini, D. Contributo in atto di convegno su rivista
Structure from motion systems for architectural heritage. A survey of the internal loggia courtyard of Palazzo dei Capitani, Ascoli Piceno, Italy 1-gen-2015 Ippoliti, Elena; Meschini, Alessandra; Sicuranza, Filippo Contributo in atto di convegno su rivista
Studio preliminare sulla valutazione di parametri ecocardiografici M-Mode, B-Mode e X-Strain®, prima e durante terapia, in cani affetti da cardiomiopatia dilatativa 1-gen-2010 Fruganti, Alessandro; Cerquetella, Matteo; Copponi, Ilenia; Spaterna, Andrea; Tesei, Beniamino Contributo in atto di convegno su rivista
Study of refrigerant system for submersible electric pumps. 1-gen-2010 A., Bonfranceschi; Egidi, Nadaniela; Misici, Luciano; S., Rubino Contributo in atto di convegno su rivista
The numerical approximation of a singular system for Helmholtz operator 1-gen-2010 Egidi, Nadaniela; Maponi, Pierluigi Contributo in atto di convegno su rivista
THE OBESE ZUCKER RATS: AN IN VIVO MODEL FOR STUDYING THE LIVER CARBONIC ANHYDRASE CAVII BIOLOGICAL ROLE 1-gen-2015 Gabrielli, Maria Gabriella; Tomassoni, Daniele; Catalini, Laura; Tayebati, Seyed Khosrow; Amenta, Francesco Contributo in atto di convegno su rivista
The presence and localization of resistin in the sheep uterus: impact of diets characterized by different chemical composition. 1-gen-2017 Pirino, Carolina; Mercati, Francesca; Petrucci, Linda; Maranesi, Margherita; Scocco, Paola; Acuti, Gabriele; Dall’Aglio, Cecilia Contributo in atto di convegno su rivista
The role of hot spots in the break-up of Pangaea and the opening of the Atlantic ocean 1-gen-2012 Schettino, Antonio Contributo in atto di convegno su rivista
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Contributo in atto di convegno su rivista
Risultati 131 - 140 di 153 (tempo di esecuzione: 0.045 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 04 ATTO DI CONVEGNO SU RIVISTA 153
  • 04 ATTO DI CONVEGNO SU RIVISTA::C... 153
Autore
  • MERELLI, Emanuela 13
  • SCOCCO, Paola 11
  • CORRADINI, Flavio 9
  • TESEI, Luca 9
  • TAYEBATI, Seyed Khosrow 8
  • BONACCORSO, Giuseppe 7
  • BUTI, Federico 6
  • CUTERI, Vincenzo 6
  • TOMASSONI, Daniele 6
  • VALLESI, Adriana 6
Data di pubblicazione
  • 2019 11
  • 2018 3
  • 2017 20
  • 2016 7
  • 2015 13
  • 2014 14
  • 2013 19
  • 2012 17
  • 2011 24
  • 2010 25
Editore
  • - 1
Rivista
  • ELECTRONIC PROCEEDINGS IN THEORET... 12
  • ATTI DELLA SOCIETÀ ITALIANA DELLE... 8
  • ATTI DELL'ACCADEMIA NAZIONALE DI ... 7
  • JOURNAL OF PHYSICS. CONFERENCE SE... 6
  • INVERTEBRATE SURVIVAL JOURNAL 5
  • PROCEDIA ENGINEERING 5
  • ELECTRONIC NOTES IN THEORETICAL C... 4
  • EUROPEAN JOURNAL OF HISTOCHEMISTRY 4
  • INTERNATIONAL ARCHIVES OF THE PHO... 4
  • EPJ WEB OF CONFERENCES 3
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 123
  • ita 38
  • cat 1
  • spa 1
Accesso al fulltext
  • no fulltext 121
  • open 21
  • reserved 11