Descripteurs
Documents disponibles dans cette catégorie (6)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
Customisation d'Halloween avec Scratch / Sarah Lacaze / Geek junior (2023) in Geek junior, 038 (10/2023)
[article]
Titre : Customisation d'Halloween avec Scratch Type de document : texte imprimé Auteurs : Sarah Lacaze Editeur : Geek junior, 2023 Article : p.19-21 Langues : Français (fre)
in Geek junior > 038 (10/2023)Descripteurs : langage de programmation Résumé : Etapes pour customiser une citrouille et un fantôme virtuels à l'aide de Scratch. Nature du document : documentaire Genre : Article de périodique [article] Customisation d'Halloween avec Scratch [texte imprimé] / Sarah Lacaze . - Geek junior, 2023 . - p.19-21.
Langues : Français (fre)
in Geek junior > 038 (10/2023)
Descripteurs : langage de programmation Résumé : Etapes pour customiser une citrouille et un fantôme virtuels à l'aide de Scratch. Nature du document : documentaire Genre : Article de périodique Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La Recherche (Paris. 1970), 548 (06/2019)
[article]
Titre : Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" Type de document : texte imprimé Auteurs : Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur Editeur : Sophia Publications, 2019 Article : p.4-8 Note générale : Bibliographie. Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - Sophia Publications, 2019 . - p.4-8.
Bibliographie.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)
Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview Jouer à PIerre-Feuille-Ciseaux avec Micro:bit / Sarah Lacaze / Geek junior (2023) in Geek junior, 039 (11/2023)
[article]
Titre : Jouer à PIerre-Feuille-Ciseaux avec Micro:bit Type de document : texte imprimé Auteurs : Sarah Lacaze Editeur : Geek junior, 2023 Article : p.19-20 Langues : Français (fre)
in Geek junior > 039 (11/2023)Descripteurs : jeu vidéo / langage de programmation Résumé : Exemple de programmation de la carte Micro:bit avec Scratch : la réalisation du jeu de Pierre-feuille-Ciseaux. Nature du document : documentaire Genre : Article de périodique [article] Jouer à PIerre-Feuille-Ciseaux avec Micro:bit [texte imprimé] / Sarah Lacaze . - Geek junior, 2023 . - p.19-20.
Langues : Français (fre)
in Geek junior > 039 (11/2023)
Descripteurs : jeu vidéo / langage de programmation Résumé : Exemple de programmation de la carte Micro:bit avec Scratch : la réalisation du jeu de Pierre-feuille-Ciseaux. Nature du document : documentaire Genre : Article de périodique Les langages du Web / Baptiste Mélès / Canopé (2018) in Textes et documents pour la classe (1975), 1116 (15/06/2018)
[article]
Titre : Les langages du Web Type de document : texte imprimé Auteurs : Baptiste Mélès, Auteur Editeur : Canopé, 2018 Article : p.40-43 Note générale : Bibliographie. Langues : Français (fre)
in Textes et documents pour la classe (1975) > 1116 (15/06/2018)Descripteurs : langage de programmation Mots-clés : programmation Web Résumé : Présentation des langages du Web : la définition du World Wild Web ; le protocole http ; le langage virtuel ; les balises ; le développement des fonctionnalités ; la programmation. Nature du document : documentaire Genre : Article de périodique [article] Les langages du Web [texte imprimé] / Baptiste Mélès, Auteur . - Canopé, 2018 . - p.40-43.
Bibliographie.
Langues : Français (fre)
in Textes et documents pour la classe (1975) > 1116 (15/06/2018)
Descripteurs : langage de programmation Mots-clés : programmation Web Résumé : Présentation des langages du Web : la définition du World Wild Web ; le protocole http ; le langage virtuel ; les balises ; le développement des fonctionnalités ; la programmation. Nature du document : documentaire Genre : Article de périodique S'initier à Python avec Vittascience / Sarah Lacaze / Geek junior (2023) in Geek junior, 037 (09/2023)
[article]
Titre : S'initier à Python avec Vittascience Type de document : texte imprimé Auteurs : Sarah Lacaze Editeur : Geek junior, 2023 Article : p.19-20 Langues : Français (fre)
in Geek junior > 037 (09/2023)Descripteurs : langage de programmation Résumé : Conseils pour utiliser le langage Python grâce à la plateforme libre de programmation, de robotique et d'IA Vittascience. Nature du document : documentaire Genre : Article de périodique [article] S'initier à Python avec Vittascience [texte imprimé] / Sarah Lacaze . - Geek junior, 2023 . - p.19-20.
Langues : Français (fre)
in Geek junior > 037 (09/2023)
Descripteurs : langage de programmation Résumé : Conseils pour utiliser le langage Python grâce à la plateforme libre de programmation, de robotique et d'IA Vittascience. Nature du document : documentaire Genre : Article de périodique Les secrets de Scratch : conseils et astuces pour passer au niveau supérieur ! / Sarah Lacaze / Geek junior (2023) in Geek junior, 039 (11/2023)
Permalink