Sfoglia per Titolo
Gamalero nelle carte dell'archivio comunale. Riordino, fonti e percorsi di ricerca
1999-01-01 Brunetti, Dimitri
Gambierasi Paolo
2003-01-01 Gaudio, Angelo
Game semantics for the pure lazy lamba calculus
2001-01-01 DI GIANANTONIO, Pietro
Game Semantics for Untyped Lambda-beta-eta-calculus
1999-01-01 DI GIANANTONIO, Pietro; Franco, G; Honsell, F.
A game-theoretic approach to timeline-based planning with uncertainty
2018-01-01 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
Game: GRB and all-sky monitor experiment
2015-01-01 Amati, Lorenzo; Campana, Riccardo; Evangelista, Yuri; Feroci, Marco; Fuschino, Fabio; Labanti, Claudio; Salvaterra, Ruben; Stratta, Giulia; Tagliaferri, Gianpiero; Frontera, Filippo; Guidorzi, Cristiano; Rosati, Piero; Titarchuk, Lev; Braga, João; Penacchioni, Ana; Ruffini, Remo; Izzo, Luca; Zampa, Nicola; Vacchi, Andrea; Santangelo, Andrea; Hudec, Rene; Gomboc, Andreja; Rodic, Tomaz
GAME: GRB and all-sky monitor experiment
2014-01-01 Amati, Lorenzo; Campana, Riccardo; Evangelista, Yuri; Feroci, Marco; Fuschino, Fabio; Labanti, Claudio; Salvaterra, Ruben; Stratta, Giulia; Tagliaferri, Gianpiero; Frontera, Filippo; Guidorzi, Cristiano; Rosati, Piero; Titarchuk, Lev; Braga, João; Penacchioni, Ana; Ruffini, Remo; Izzo, Luca; Zampa, Nicola; Vacchi, Andrea; Santangelo, Andrea; Hudec, Rene; Gomboc, Andreja; Rodic, Tomaz
Games characterizing Levy-Longo trees
2004-01-01 Ong, Chl; DI GIANANTONIO, Pietro
Games characterizing Levy-Longo trees.
2002-01-01 DI GIANANTONIO, Pietro; Ong, Luke
Games Experiments Ideas from low cost materials to the computer on-line: 120 simple experiments to do and not only to see,
1998-01-01 Bosio, S; Ceccolin, D; Michelini, Marisa; Sartori, S; Stefanel, Alberto
Games for Quantum Physics Education
2024-01-01 Chiofalo, M. L.; Foti, C.; Lazzeroni, C.; Maniscalco, S.; Seskir, Z. C.; Sherson, J.; Weidner, C. A.; Michelini, M.
Games for Teaching/Learning Quantum Mechanics: A Pilot Study with High-School Students
2022-01-01 Chiofalo, M. L.; Foti, C.; Michelini, M.; Santi, L.; Stefanel, A.
Games on Strings with a Limited Order Relation
2009-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola
Games, Automata, Logic, and Formal Verification (GandALF 2010) Special Issue - Editorial
2012-01-01 Montanari, Angelo; Napoli, M; Parente, D.
Games, Automata, Logic, and Formal Verification (GandALF 2011)
2013-01-01 D'Agostino, Giovanna; La Torre, S.
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2
2015-01-01 Montanari, Angelo; Puppis, Gabriele; Villa, Tiziano
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface
2017-01-01 Peron, Adriano; Piazza, Carla
Games, Experiments, Ideas
1995-01-01 Bosatta, G.; Michelini, Marisa; Santi, Lorenzo Gianni; Stefanel, Alberto
Games, Experiments, Ideas
1996-01-01 Bosatta, G; Bosia, M; Bosio, S; Candussio, G; Capocchiani, V; Deotto, S; Marcolini, L; Mazzadi, Mc; Michelini, Marisa; Michelutti, Gl; Pugliese, S; Santi, L; Sartori, C; Scillia, Ml; Stefanel, Alberto
Games, Experiments, Ideas - From low cost materials to computer on-line
1996-01-01 Michelini, Marisa
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Gamalero nelle carte dell'archivio comunale. Riordino, fonti e percorsi di ricerca | 1-gen-1999 | Brunetti, Dimitri | |
Gambierasi Paolo | 1-gen-2003 | Gaudio, Angelo | |
Game semantics for the pure lazy lamba calculus | 1-gen-2001 | DI GIANANTONIO, Pietro | |
Game Semantics for Untyped Lambda-beta-eta-calculus | 1-gen-1999 | DI GIANANTONIO, Pietro; Franco, G; Honsell, F. | |
A game-theoretic approach to timeline-based planning with uncertainty | 1-gen-2018 | Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark | |
Game: GRB and all-sky monitor experiment | 1-gen-2015 | Amati, Lorenzo; Campana, Riccardo; Evangelista, Yuri; Feroci, Marco; Fuschino, Fabio; Labanti, Claudio; Salvaterra, Ruben; Stratta, Giulia; Tagliaferri, Gianpiero; Frontera, Filippo; Guidorzi, Cristiano; Rosati, Piero; Titarchuk, Lev; Braga, João; Penacchioni, Ana; Ruffini, Remo; Izzo, Luca; Zampa, Nicola; Vacchi, Andrea; Santangelo, Andrea; Hudec, Rene; Gomboc, Andreja; Rodic, Tomaz | |
GAME: GRB and all-sky monitor experiment | 1-gen-2014 | Amati, Lorenzo; Campana, Riccardo; Evangelista, Yuri; Feroci, Marco; Fuschino, Fabio; Labanti, Claudio; Salvaterra, Ruben; Stratta, Giulia; Tagliaferri, Gianpiero; Frontera, Filippo; Guidorzi, Cristiano; Rosati, Piero; Titarchuk, Lev; Braga, João; Penacchioni, Ana; Ruffini, Remo; Izzo, Luca; Zampa, Nicola; Vacchi, Andrea; Santangelo, Andrea; Hudec, Rene; Gomboc, Andreja; Rodic, Tomaz | |
Games characterizing Levy-Longo trees | 1-gen-2004 | Ong, Chl; DI GIANANTONIO, Pietro | |
Games characterizing Levy-Longo trees. | 1-gen-2002 | DI GIANANTONIO, Pietro; Ong, Luke | |
Games Experiments Ideas from low cost materials to the computer on-line: 120 simple experiments to do and not only to see, | 1-gen-1998 | Bosio, S; Ceccolin, D; Michelini, Marisa; Sartori, S; Stefanel, Alberto | |
Games for Quantum Physics Education | 1-gen-2024 | Chiofalo, M. L.; Foti, C.; Lazzeroni, C.; Maniscalco, S.; Seskir, Z. C.; Sherson, J.; Weidner, C. A.; Michelini, M. | |
Games for Teaching/Learning Quantum Mechanics: A Pilot Study with High-School Students | 1-gen-2022 | Chiofalo, M. L.; Foti, C.; Michelini, M.; Santi, L.; Stefanel, A. | |
Games on Strings with a Limited Order Relation | 1-gen-2009 | DE MARIA, Elisabetta; Montanari, Angelo; Vitacolonna, Nicola | |
Games, Automata, Logic, and Formal Verification (GandALF 2010) Special Issue - Editorial | 1-gen-2012 | Montanari, Angelo; Napoli, M; Parente, D. | |
Games, Automata, Logic, and Formal Verification (GandALF 2011) | 1-gen-2013 | D'Agostino, Giovanna; La Torre, S. | |
Games, Automata, Logic, and Formal Verification (GandALF 2013) - Special Issue of the journal Information and Computation, Editorial pp. 1-2 | 1-gen-2015 | Montanari, Angelo; Puppis, Gabriele; Villa, Tiziano | |
Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface | 1-gen-2017 | Peron, Adriano; Piazza, Carla | |
Games, Experiments, Ideas | 1-gen-1995 | Bosatta, G.; Michelini, Marisa; Santi, Lorenzo Gianni; Stefanel, Alberto | |
Games, Experiments, Ideas | 1-gen-1996 | Bosatta, G; Bosia, M; Bosio, S; Candussio, G; Capocchiani, V; Deotto, S; Marcolini, L; Mazzadi, Mc; Michelini, Marisa; Michelutti, Gl; Pugliese, S; Santi, L; Sartori, C; Scillia, Ml; Stefanel, Alberto | |
Games, Experiments, Ideas - From low cost materials to computer on-line | 1-gen-1996 | Michelini, Marisa |
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