Catégories
 > 5. Information et communication > 5.40 Technologie de l'information (logiciels) > Programmation informatique > Langage de programmation
Langage de programmationSynonyme(s)EN Programming languagesVoir aussi |
Documents disponibles dans cette catégorie (5)
Affiner la rechercheDe l'autre côté de la machine : voyage d'une scientifique au pays des algorithmes / Aurélie Jean / Paris : Édition de l'Observatoire (2019)
Titre : De l'autre côté de la machine : voyage d'une scientifique au pays des algorithmes Type de document : texte imprimé Auteurs : Aurélie Jean, Auteur Editeur : Paris : Édition de l'Observatoire, 2019 Collection : De facto, ISSN 2648-7888 Importance : 1 vol. (205 p.) ISBN/ISSN/EAN : 979-10-329-0540-1 Langues : Français (fre) Catégories : Algorithme
Langage de programmationRésumé : Qui sont ces algorithmes qui bouleversent notre quotidien ? Que se trouve-t-il de l'uatre côté de l'iceberg mathématique ? De l'autre côté de la machine : voyage d'une scientifique au pays des algorithmes [texte imprimé] / Aurélie Jean, Auteur . - Paris : Édition de l'Observatoire, 2019 . - 1 vol. (205 p.). - (De facto, ISSN 2648-7888) .
ISBN : 979-10-329-0540-1
Langues : Français (fre)
Catégories : Algorithme
Langage de programmationRésumé : Qui sont ces algorithmes qui bouleversent notre quotidien ? Que se trouve-t-il de l'uatre côté de l'iceberg mathématique ? Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 979-10-329-0540-1 518.1 JEA Livre CDI inconnu Disponible Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy in La Recherche (Paris. 1970), 548 (06/2019)
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 Année de publication : 2019 Article en page(s) : p.4-8 Note générale : Bibliographie. Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)Catégories : Langage de programmation Mots-clés : contrôle 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 . - 2019 . - p.4-8.
Bibliographie.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)
Catégories : Langage de programmation Mots-clés : contrôle 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 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 3441 ARCHIVES Périodique CDI Documentaire Disponible
Titre : IA & design : quand l'ordinateur réinvente les objets Type de document : texte imprimé Auteurs : Muriel Valin, Auteur Editeur : Excelsior publications, 2017 Article en page(s) : p.80-85 Langues : Français (fre)
in La science et la vie (paris) > 1192 (01/2017)Catégories : Algorithme
Intelligence artificielle
Langage de programmationMots-clés : design Résumé : Le point sur les innovations technologiques au service du design via le calcul d'algorithmes de conception par ordinateurs : principe, intérêts de cette approche appelée "conception générative", risques. Panorama d'objets conçus par algorithmes : la chaise la plus légère, la voiture la plus résistante, le pont le plus épuré, l'avion le plus écologique, la prothèse la plus personnalisée. Nature du document : documentaire Genre : Article de périodique [article] IA & design : quand l'ordinateur réinvente les objets [texte imprimé] / Muriel Valin, Auteur . - Excelsior publications, 2017 . - p.80-85.
Langues : Français (fre)
in La science et la vie (paris) > 1192 (01/2017)
Catégories : Algorithme
Intelligence artificielle
Langage de programmationMots-clés : design Résumé : Le point sur les innovations technologiques au service du design via le calcul d'algorithmes de conception par ordinateurs : principe, intérêts de cette approche appelée "conception générative", risques. Panorama d'objets conçus par algorithmes : la chaise la plus légère, la voiture la plus résistante, le pont le plus épuré, l'avion le plus écologique, la prothèse la plus personnalisée. Nature du document : documentaire Genre : Article de périodique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Kotlin, un langage russe à la portée de tous Type de document : texte imprimé Auteurs : Elena Koudriavtseva, Auteur Année de publication : 2017 Article en page(s) : p.42-43 Langues : Français (fre)
in Courrier international (Paris. 1990) > 1413 (30/11/2017)Catégories : Enseignement de l'informatique
Langage de programmation
RussieMots-clés : URSS : 1922-1991 1945- Résumé : Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à la diversité des langages informatiques ; le financement dans le domaine de la programmation ; la création de langage informatique, un secteur d'élite ; les personnes travaillant sur le langage Kotlin ; retour historique sur l'enseignement de l'informatique en URSS depuis les années 1950, l'investissement dans la formation des développeurs dans les années 2000 ; l'économie numérique, une priorité officielle. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage [article] Kotlin, un langage russe à la portée de tous [texte imprimé] / Elena Koudriavtseva, Auteur . - 2017 . - p.42-43.
Langues : Français (fre)
in Courrier international (Paris. 1990) > 1413 (30/11/2017)
Catégories : Enseignement de l'informatique
Langage de programmation
RussieMots-clés : URSS : 1922-1991 1945- Résumé : Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à la diversité des langages informatiques ; le financement dans le domaine de la programmation ; la création de langage informatique, un secteur d'élite ; les personnes travaillant sur le langage Kotlin ; retour historique sur l'enseignement de l'informatique en URSS depuis les années 1950, l'investissement dans la formation des développeurs dans les années 2000 ; l'économie numérique, une priorité officielle. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 16884 ARCHIVES Périodique CDI Documentaire Disponible
Titre : L'ordinateur musicien Type de document : document électronique Auteurs : Marie Chevais-Mora, Monteur Editeur : Centre National de la Recherche Scientifique, 2015 Importance : 1 vidéo : 5 min 07 s Format : Web Langues : Français (fre) Catégories : Langage de programmation Mots-clés : création musicale Résumé : Reportage sur l'utilisation du langage synchrone et informatique Esterel, développé par l'informaticien Gérard Berry, dans la composition de musique contemporaine : son intégration dans le logiciel de création musicale Antescofo développé par Arshia Cont, chercheur en intelligence artificielle musicale ; les caractéristiques et le fonctionnement d'Antescofo, un dialogue entre le musicien et le logiciel. Nature du document : documentaire Genre : Enquête, reportage Niveau : lycée/Secondaire L'ordinateur musicien [document électronique] / Marie Chevais-Mora, Monteur . - Centre National de la Recherche Scientifique, 2015 . - 1 vidéo : 5 min 07 s ; Web.
Langues : Français (fre)
Catégories : Langage de programmation Mots-clés : création musicale Résumé : Reportage sur l'utilisation du langage synchrone et informatique Esterel, développé par l'informaticien Gérard Berry, dans la composition de musique contemporaine : son intégration dans le logiciel de création musicale Antescofo développé par Arshia Cont, chercheur en intelligence artificielle musicale ; les caractéristiques et le fonctionnement d'Antescofo, un dialogue entre le musicien et le logiciel. Nature du document : documentaire Genre : Enquête, reportage Niveau : lycée/Secondaire Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
