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.
JSetL User's Manual - Version 2.3
2012-01-01 Rossi, Gianfranco; R., Amadini
JSetL: Declarative Programming in Java with Sets
2003-01-01 Rossi, Gianfranco; Poleo, E.
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
2010-01-01 M., Baldoni; C., Baroglio; Bergenti, Federico; A., Boccalatte; E., Marengo; M., Martelli; V., Mascardi; L., Padovani; V., Patti; A., Ricci; Rossi, Gianfranco; A., Santi
Nondeterministic Programming in Java with JSetL
2013-01-01 Rossi, Gianfranco; Bergenti, Federico
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004)
2004-01-01 Rossi, Gianfranco; Panegai, E. E. D. S.
Programming with Partially Specified Aggregates in Java
2010-01-01 Bergenti, Federico; Chiarabini, Luca; Rossi, Gianfranco
Programming with Partially Specified Collections
2014-01-01 Rossi, Gianfranco
Rapid Prototyping and Animation of Z Specifications Using {log}
2014-01-01 M., Cristia'; Rossi, Gianfranco
Set Unification
2001-01-01 Dovier, A; Pontelli, E; Rossi, Gianfranco
Set Unification
2005-01-01 Dovier, A; Pontelli, E; Rossi, Gianfranco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
JSetL User's Manual - Version 2.3 | 1-gen-2012 | Rossi, Gianfranco; R., Amadini | |
JSetL: Declarative Programming in Java with Sets | 1-gen-2003 | Rossi, Gianfranco; Poleo, E. | |
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems | 1-gen-2010 | M., Baldoni; C., Baroglio; Bergenti, Federico; A., Boccalatte; E., Marengo; M., Martelli; V., Mascardi; L., Padovani; V., Patti; A., Ricci; Rossi, Gianfranco; A., Santi | |
Nondeterministic Programming in Java with JSetL | 1-gen-2013 | Rossi, Gianfranco; Bergenti, Federico | |
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) | 1-gen-2004 | Rossi, Gianfranco; Panegai, E. E. D. S. | |
Programming with Partially Specified Aggregates in Java | 1-gen-2010 | Bergenti, Federico; Chiarabini, Luca; Rossi, Gianfranco | |
Programming with Partially Specified Collections | 1-gen-2014 | Rossi, Gianfranco | |
Rapid Prototyping and Animation of Z Specifications Using {log} | 1-gen-2014 | M., Cristia'; Rossi, Gianfranco | |
Set Unification | 1-gen-2001 | Dovier, A; Pontelli, E; Rossi, Gianfranco | |
Set Unification | 1-gen-2005 | Dovier, A; Pontelli, E; Rossi, Gianfranco |
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
- 7 Altro 25
- 7 Altro::7.12 Altro 20
- 7 Altro::7.11 Software 3
- 7 Altro::7.05 Esposizione 2
Data di pubblicazione
- 2010 - 2020 14
- 2001 - 2009 11
Lingua
- eng 19
Accesso al fulltext
- no fulltext 25