Sfoglia per Titolo
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 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
Games, Experiments, Ideas from low-cost material to the computer on-line: 120 simple experiments to do and not only to see
2001-01-01 Bosatta, G; Bosia, M; Bosio, S; Candussio, G; Capocchiani, V; Ceccolin, D; Marcolini, L; Mazzadi, M. C.; Michelini, Marisa; PUGLIESE JONA, S; Santi, Lorenzo Gianni; Sartori, C; Scillia, M; Stefanel, Alberto
Gametic and somatic embryogenesis through in vitro anther culture of different Citrus genotypes
2016-01-01 Cardoso, J. C.; Abdelgalel, A. M.; Chiancone, B.; Latado, R. R.; Lain, O.; Testolin, Raffaele; Germanà, M. A.
"Gamifying World Literature: Giannina Braschi's _United States of Banana_"
2020-01-01 Daniele, Daniela
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 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 | |
Games, Experiments, Ideas from low-cost material to the computer on-line: 120 simple experiments to do and not only to see | 1-gen-2001 | Bosatta, G; Bosia, M; Bosio, S; Candussio, G; Capocchiani, V; Ceccolin, D; Marcolini, L; Mazzadi, M. C.; Michelini, Marisa; PUGLIESE JONA, S; Santi, Lorenzo Gianni; Sartori, C; Scillia, M; Stefanel, Alberto | |
Gametic and somatic embryogenesis through in vitro anther culture of different Citrus genotypes | 1-gen-2016 | Cardoso, J. C.; Abdelgalel, A. M.; Chiancone, B.; Latado, R. R.; Lain, O.; Testolin, Raffaele; Germanà, M. A. | |
"Gamifying World Literature: Giannina Braschi's _United States of Banana_" | 1-gen-2020 | Daniele, Daniela |
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