Filtrer vos résultats
- 17
- 4
- 11
- 8
- 1
- 1
- 17
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 5
- 1
- 2
- 3
- 2
- 16
- 5
- 19
- 8
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 21
- 11
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
21 résultats
|
|
triés par
|
|
The Good, The Bad, and The Ugly of a Synchronous Online CS1ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Jun 2021, Virtual Event, Germany. ACM, 2, pp.660-660, 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (ITiCSE 2021). ⟨10.1145/3456565.3460075⟩
Poster de conférence
hal-03338864v1
|
||
On Constructor Rewrite Systems and the Lambda CalculusLogical Methods in Computer Science, 2012, 8 (3)
Article dans une revue
hal-00909372v1
|
|||
|
Abbiamo davvero bisogno del pensiero computazionale?Mondo Digitale, 2017, 72, pp.1-15
Article dans une revue
hal-01656340v1
|
||
|
Computational Thinking, Between Papert and WingScience and Education, 2021, 30 (4), pp.883-908. ⟨10.1007/s11191-021-00202-5⟩
Article dans une revue
hal-03338884v1
|
||
|
The Online Course Was Great: I Would Attend It Face-to-FaceGoodIT '21: Conference on Information Technology for Social Good, Sep 2021, Roma, Italy. pp.242-247, ⟨10.1145/3462203.3475902⟩
Communication dans un congrès
hal-03338808v1
|
||
Lingua UniversalisAnnali della Pubblica Istruzione, 2012, 4-5, pp.65--70
Article dans une revue
hal-00909609v1
|
|||
|
Informatica senza e con computer nella Scuola PrimariaChapitre d'ouvrage hal-02379212v1 |
||
|
Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di contoIL NODO, SCUOLA IN RETE, 2017, 47, pp.18-28
Article dans une revue
hal-01643699v1
|
||
|
Light Logics and Higher-Order ProcessesMathematical Structures in Computer Science, 2016, 26 (06), pp.969 - 992. ⟨10.1017/S0960129514000310⟩
Article dans une revue
hal-01400903v1
|
||
|
(Non) parliamo di pensiero computazionaleXXXIV Convegno Nazionale “Incontri con la Matematica”, Nov 2020, Castel San Pietro Terme / Online, Italy
Communication dans un congrès
hal-02981770v1
|
||
|
Problem Solving Olympics: an inclusive education model for learning InformaticsInformatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.319--335, ⟨10.1007/978-3-030-02750-6_25⟩
Communication dans un congrès
hal-01913064v1
|
||
|
Quantum Turing Machines: Computations and MeasurementsApplied Sciences, 2020, 10 (16), ⟨10.3390/app10165551⟩
Article dans une revue
hal-02915924v1
|
||
|
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal LogicsACM Transactions on Computational Logic, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩
Article dans une revue
hal-03342394v1
|
||
|
Several Types of Types in Programming Languages3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.216-227, ⟨10.1007/978-3-319-47286-7_15⟩
Communication dans un congrès
hal-01399694v1
|
||
|
Cryptography in Grade 10: Core Ideas with Snap! and UnpluggedITiCSE 2022 - Innovation and Technology in Computer Science Education, ACM, Jul 2022, Dublin, Ireland. pp.456-462, ⟨10.1145/3502718.3524767⟩
Communication dans un congrès
hal-03916819v1
|
||
|
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situationThirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Alfréd Rényi Institute of Mathematics; Eötvös Loránd University of Budapest, Jul 2023, Budapest, Hungary
Communication dans un congrès
hal-04420550v1
|
||
|
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of ComputationRecent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.8⟩
Communication dans un congrès
hal-03028634v1
|
||
|
A necessity-driven ride on the abstraction rollercoaster of CS1 programmingInformatics in Education, 2021, 20 (4), pp.641-682. ⟨10.15388/infedu.2021.28⟩
Article dans une revue
hal-03466065v2
|
||
|
Biosignature Analysis of Mars Soil Analogs from the Atacama Desert: Challenges and Implications for Future Missions to MarsAstrobiology, In press, ⟨10.1089/ast.2019.2063⟩
Article dans une revue
hal-02526134v1
|
||
|
Types in Programming Languages, between Modelling, Abstraction, and CorrectnessComputability in Europe, CiE 2016: Pursuit of the Universal, Jun 2016, Paris, France
Communication dans un congrès
hal-01335657v1
|
||
|
An Unplugged Didactical Situation on Cryptography between Informatics and MathematicsInformatics in Education, 2023, ⟨10.15388/infedu.2024.06⟩
Article dans une revue
hal-04184262v1
|