MARTELLI, ALESSANDRO
MARTELLI, ALESSANDRO
Istituto di informatica e telematica - IIT
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
Decentralized human resource management in public service - the italian national research council approach
2015 Andreini, M; Lucchesi, C; Martelli, A; Martinelli, M; Tagliaferri, D
Execution and debugging tools in AISS based on denotational semantics concepts
1981 Barbuti R.; Martelli A.
Towards the derivation of an experimental programming environment from language formal specifications
1981 Barbuti, R; Bellia, M; Dameri, E; Degano, P; Levi, G; Martelli, A; Simonelli, C
Flexible environment for program development based on a symbolic interpreter
1978 Asirelli P.; Degano P.; Levi G.; Martelli A.; Montanari U.; Pacini G.; Sirovich F.; Turini F.
Unification in linear time and space: a structured presentation
1976 Martelli, A; Montanari, U
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Decentralized human resource management in public service - the italian national research council approach | 1-gen-2015 | Andreini, M; Lucchesi, C; Martelli, A; Martinelli, M; Tagliaferri, D | |
| Execution and debugging tools in AISS based on denotational semantics concepts | 1-gen-1981 | Barbuti R.; Martelli A. | |
| Towards the derivation of an experimental programming environment from language formal specifications | 1-gen-1981 | Barbuti, R; Bellia, M; Dameri, E; Degano, P; Levi, G; Martelli, A; Simonelli, C | |
| Flexible environment for program development based on a symbolic interpreter | 1-gen-1978 | Asirelli P.; Degano P.; Levi G.; Martelli A.; Montanari U.; Pacini G.; Sirovich F.; Turini F. | |
| Unification in linear time and space: a structured presentation | 1-gen-1976 | Martelli, A; Montanari, U |