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.
DaVinciPressure©
2017 Giordano, R; Cantinotti, M; Vitale, A.
Decide-It
2012 Massimiliano, Schembri; Andrea Di, Ferdinando; Miglino, Orazio
DEScan2
2018 Righelli, Dario; John, Koberstein; Bruce, Gomes; Nancy, Zhang; Claudia, Angelini; Lucia, Peixoto; Davide, Risso
Effects of increasing CREB on storage and recall processes in a CA1 network
2014 Cuomo, Salvatore; Pasquale De, Michele; Daniela, Bianchi
Enhancing Manipulative Learning with Smart Objects
2013 Miglino, Orazio; R., Di Fuccio; M., Barajas; M., Belafi; C., Partrizia; D., Dimitrakopoulou; C., Ricci; A., Trifonova; A., Zoakou
GaDiFPT: First Passage Time Simulation for Gaussian Diffusion Processes
2015 Buonocore, Aniello; Carfora, Maria Francesca
Il Sistema Informativo Geografico di supporto al Rapporto annuale 2011 “Il Sud, i Sud”. Appendice al volume: Scenari Italiani 2011
2011 DE LUCA, Carlo
Laboratorio per l'Educazione alla Scienza-LES
2018 Balzano, Emilio; Amabile, Alessandro; Annunziata, Annarita; Artiano, Giancarlo
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications
2015 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
MCMAS-SLK: A model checker for the verification of strategy logic specifications.
2014 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| DaVinciPressure© | 5.13 Software | 2017 | Giordano, R; Cantinotti, M; Vitale, A. | |
| Decide-It | 5.13 Software | 2012 | Massimiliano, Schembri; Andrea Di, Ferdinando; Miglino, Orazio | |
| DEScan2 | 5.13 Software | 2018 | Righelli, Dario; John, Koberstein; Bruce, Gomes; Nancy, Zhang; Claudia, Angelini; Lucia, Peixoto; Davide, Risso | |
| Effects of increasing CREB on storage and recall processes in a CA1 network | 5.13 Software | 2014 | Cuomo, Salvatore; Pasquale De, Michele; Daniela, Bianchi | |
| Enhancing Manipulative Learning with Smart Objects | 5.13 Software | 2013 | Miglino, Orazio; R., Di Fuccio; M., Barajas; M., Belafi; C., Partrizia; D., Dimitrakopoulou; C., Ricci; A., Trifonova; A., Zoakou | |
| GaDiFPT: First Passage Time Simulation for Gaussian Diffusion Processes | 5.13 Software | 2015 | Buonocore, Aniello; Carfora, Maria Francesca | |
| Il Sistema Informativo Geografico di supporto al Rapporto annuale 2011 “Il Sud, i Sud”. Appendice al volume: Scenari Italiani 2011 | 5.13 Software | 2011 | DE LUCA, Carlo | |
| Laboratorio per l'Educazione alla Scienza-LES | 5.13 Software | 2018 | Balzano, Emilio; Amabile, Alessandro; Annunziata, Annarita; Artiano, Giancarlo | |
| MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications | 5.13 Software | 2015 | Petr, Cermak; Alessio, Lomuscio; Murano, Aniello | |
| MCMAS-SLK: A model checker for the verification of strategy logic specifications. | 5.13 Software | 2014 | Petr, Cermak; Alessio, Lomuscio; Murano, Aniello |
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
- 5 Altro 31
- 5 Altro::5.13 Software 31
Data di pubblicazione
- 2019 1
- 2018 7
- 2017 2
- 2016 5
- 2015 3
- 2014 2
- 2013 3
- 2012 3
- 2011 4
- 2010 1
Keyword
- Serious Games 2
- Technology Enhanced Learning 2
- Agents Based Modeling 1
- Artificial Neural Networks 1
- astronomical catalogues 1
- Astrophysics - Instrumentation an... 1
- Astrophysics - Instrumentation an... 1
- bibliometrics 1
- citation analysis 1
- cross-matching 1
Lingua
- eng 15
- ita 6
- spa 1
Accesso al fulltext
- no fulltext 25
- open 5
- reserved 1