Sfoglia
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Points 3.6 (software for computations on points) | 5.13 Software | 2004 | Orecchia, F.; Cioffi, Francesca; Ramella, I. | |
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
Scopri
Tipologia
- 5 Altro42
Data di pubblicazione
- 2020 - 20237
- 2010 - 201931
- 2000 - 20093
- 1997 - 19991
Keyword
- Serious Games2
- Technology Enhanced Learning2
- Agents Based Modeling1
- archiviazione1
- Artificial Neural Networks1
- astronomical catalogues1
- Astrophysics - Instrumentation an...1
- Astrophysics - Instrumentation an...1
- beni culturali1
- bibliometrics1
Lingua
- eng21
- ita8
- spa2
Accesso al fulltext
- no fulltext34
- open6
- reserved2