|
Bulletin N°548 Mention de date : 06/2019 Paru le : 01/06/2019 |
Réservation
Réserver ce documentExemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 3441 | ARCHIVES | Périodique | CDI | Documentaire | Disponible |
Dépouillements
Ajouter le résultat dans votre panierEntretien 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 : Livres : Homo sapiens de l'Afrique à l'espace Type de document : texte imprimé Auteurs : Vincent Glavieux, Auteur ; Nicolas Teyssandier, Auteur ; François Bon, Auteur Année de publication : 2019 Article en page(s) : p.68-73 Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)Mots-clés : Homo sapiens thème littéraire Résumé : Présentation du livre collectif "Pré-histoires, la conquête des territoires" qui reconstitue l'expansion mondiale d'Homo sapiens selon les milieux dont les steppes à mammouths, les littoraux et les grottes. Extraits du livre "Sapiens à l'oeil nu" à propos des aptitudes de colonisation d'Homo sapiens. Présentation des livres suivants : "L'avenir de l'humanité " de Michio Kaku ; "Homo sapiens" d'Antoine Balzeau et Pierre Bailly ; "On vient vraiment tous d'Afrique ?" d'Evelyne Heyer et Carole Reynaud-Paligot. Nature du document : documentaire Genre : Article de périodique [article] Livres : Homo sapiens de l'Afrique à l'espace [texte imprimé] / Vincent Glavieux, Auteur ; Nicolas Teyssandier, Auteur ; François Bon, Auteur . - 2019 . - p.68-73.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)
Mots-clés : Homo sapiens thème littéraire Résumé : Présentation du livre collectif "Pré-histoires, la conquête des territoires" qui reconstitue l'expansion mondiale d'Homo sapiens selon les milieux dont les steppes à mammouths, les littoraux et les grottes. Extraits du livre "Sapiens à l'oeil nu" à propos des aptitudes de colonisation d'Homo sapiens. Présentation des livres suivants : "L'avenir de l'humanité " de Michio Kaku ; "Homo sapiens" d'Antoine Balzeau et Pierre Bailly ; "On vient vraiment tous d'Afrique ?" d'Evelyne Heyer et Carole Reynaud-Paligot. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 3441 ARCHIVES Périodique CDI Documentaire Disponible