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.
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
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
NinjaPark
2016 Punzo, V.; Montanino, Marcello
PhotoRaptor - Photometric Research Application To Redshifts
2016 Cavuoti, Stefano; Brescia, Massimo; De Stefano, Virgilio; Longo, Giuseppe
Piaget Multimediale (Diego Pizza Adventure)
2011 Rega, Angelo; Maurizio, Cardaci; Miglino, Orazio
PRQP - Potential Reduction solver for Quadratic Programming
2010 Cafieri, Sonia; D'Apuzzo, Marco; DE SIMONE, Valentina; DI SERAFINO, Daniela; Riccio, Filippo; Toraldo, Gerardo
REGANAT: Stata module to perform graphical inspection of linear multivariate models based on regression anatomy
2013 Filoso, Valerio
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
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 | |
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 | |
NinjaPark | 5.13 Software | 2016 | Punzo, V.; Montanino, Marcello | |
PhotoRaptor - Photometric Research Application To Redshifts | 5.13 Software | 2016 | Cavuoti, Stefano; Brescia, Massimo; De Stefano, Virgilio; Longo, Giuseppe | |
Piaget Multimediale (Diego Pizza Adventure) | 5.13 Software | 2011 | Rega, Angelo; Maurizio, Cardaci; Miglino, Orazio | |
PRQP - Potential Reduction solver for Quadratic Programming | 5.13 Software | 2010 | Cafieri, Sonia; D'Apuzzo, Marco; DE SIMONE, Valentina; DI SERAFINO, Daniela; Riccio, Filippo; Toraldo, Gerardo | |
REGANAT: Stata module to perform graphical inspection of linear multivariate models based on regression anatomy | 5.13 Software | 2013 | Filoso, Valerio |
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 21
- 5 Altro::5.13 Software 21
Data di pubblicazione
- 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 11
- ita 4
- spa 1
Accesso al fulltext
- no fulltext 16
- open 4
- reserved 1