Descripteurs
Documents disponibles dans cette catégorie (10)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur | Sophia Publications |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 lan[...]document électronique
Chronologie des dates clés dans le matériel électronique appliqué à l'informatique et ses logiciels de 1945 à 2000 : du bug au C# en passant par les différents langages, les systèmes d'exploitation et les Langages de Description de Pages...Exemplaires
Disponibilité aucun exemplaire Article : texte imprimé
Portrait de Gaël Varoquaux, chercheur spécialisé dans le domaine de l'IA (Intelligence artificielle) : sa cocréation du logiciel Scikit-learn, un programme de "machine learning" ; son appétence pour les mathématiques et l'informatique ; ses rech[...]
Article : texte imprimé
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 [...]
Article : texte imprimé
Elena Koudriavtseva, Auteur | Courrier international |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 à l[...]Article : texte imprimé
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.Article : texte imprimé
Dans The Economist [presse britannique] , extraits de l'enquête sur la start-up parisienne Mistral AI, spécialiste des grands modèles de langage (LLM) : la mise au point par Open AI du LLM , GPT-4 ; les explications du directeur général de Mistr[...]Article : texte imprimé
Jérôme Kirman, Auteur | Palais de la découverte |Présentation des machines de Turing et du jeu des Castors affairés : l'invention en 1936 par le mathématicien britannique Alan Turing d'une machine qui permet d'exécuter des calculs selon un programme ; l'analyse du comportement d'un programme i[...]document électronique
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 Ar[...]Exemplaires
Disponibilité aucun exemplaire 
Article : texte imprimé
Dans Medium [presse américaine] extraits d'une enquête au sujet des langages de programmation : l'enjeu de la maîtrise des nouveaux langages de programmation ; le GO de Google et la Swift d'Apple ; les compromis indispensables à la création d'un[...]
