Lycée Victor Grignard Cherbourg-en-Cotentin

Ada Lovelace, la première codeuse au monde / France Culture (2019)  

Public ISBD Titre : Ada Lovelace, la première codeuse au monde Type de document : document électronique Editeur : France Culture, 2019 Importance : 1 vidéo : 3 min 44 s Format : Web Langues : Français (fre) Catégories : Langage de programmation Résumé : Vidéo présentant Ada Lovelace : famille, études, recherches scientifiques dans le domaine de la programmation, invention, mort. Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=_eUOuQ5lp_0&list=PLKpTasoeXDrqDa465eyuo2gl84omZT [...] Ada Lovelace, la première codeuse au monde [document électronique] . - France Culture, 2019 . - 1 vidéo : 3 min 44 s ; Web. Langues : Français (fre) Catégories : Langage de programmation Résumé : Vidéo présentant Ada Lovelace : famille, études, recherches scientifiques dans le domaine de la programmation, invention, mort. Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=_eUOuQ5lp_0&list=PLKpTasoeXDrqDa465eyuo2gl84omZT [...]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

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)

Public ISBD [article]  inLa 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 Editeur : Sophia Publications, 2019 Article en page(s) : p.4-8 Note générale : Bibliographie. Langues : Français (fre) 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 . - Sophia Publications, 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é
20529	PER	Périodique	CDI	documentaire	Disponible

L'ère de l'électronique : Logiciels et langages / François Guillier / Histoire de l'Informatique (2016)  

Public ISBD Titre : L'ère de l'électronique : Logiciels et langages Type de document : document électronique Auteurs : François Guillier Editeur : Histoire de l'Informatique, 2016 Format : Web Langues : Français (fre) Catégories : Langage de programmation Mots-clés : système d'exploitation  langage de balisage Résumé : 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... Nature du document : documentaire Genre : Documentaire En ligne : http://www.histoire-informatique.org/grandes_dates/2_6 L'ère de l'électronique : Logiciels et langages [document électronique] / François Guillier . - Histoire de l'Informatique, 2016 . -  ; Web. Langues : Français (fre) Catégories : Langage de programmation Mots-clés : système d'exploitation  langage de balisage Résumé : 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... Nature du document : documentaire Genre : Documentaire En ligne : http://www.histoire-informatique.org/grandes_dates/2_6

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Latex Apprentissage, guide et référence / Bernard DESGRAUOES / Vuibert (2000)

Public ISBD Titre : Latex Apprentissage, guide et référence Type de document : texte imprimé Auteurs : Bernard DESGRAUOES, Auteur Editeur : Vuibert, 2000 Importance : 735 p. ; 24 cm ISBN/ISSN/EAN : 978-2-7117-8658-9 Prix : 45,00 Langues : Français (fre) Catégories : Langage de programmation Mots-clés : langage de balisage Résumé : Guide d'utilisation de LaTeX, système permettant la composition et la génération de documents de grande qualité typographique : mise enforme et en page du texte, indexation, dessins et graphiques, personnalisaiton, création de macros, gestion des polices de caractères... Nature du document : documentaire Genre : Documentaire Discipline : Mathématiques Niveau : Classe préparatoire Latex Apprentissage, guide et référence [texte imprimé] / Bernard DESGRAUOES, Auteur . - Vuibert, 2000 . - 735 p. ; 24 cm. ISBN : 978-2-7117-8658-9 : 45,00 Langues : Français (fre) Catégories : Langage de programmation Mots-clés : langage de balisage Résumé : Guide d'utilisation de LaTeX, système permettant la composition et la génération de documents de grande qualité typographique : mise enforme et en page du texte, indexation, dessins et graphiques, personnalisaiton, création de macros, gestion des polices de caractères... Nature du document : documentaire Genre : Documentaire Discipline : Mathématiques Niveau : Classe préparatoire

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16149	005.52 DES	Livre	CPGE	documentaire	Disponible

Naissance des langages de programmation / Sacha Krakowiak / Interstices (2012)  

Public ISBD Titre : Naissance des langages de programmation Type de document : document électronique Auteurs : Sacha Krakowiak ; Jacques Mossière Editeur : Interstices, 2012 Format : Web Langues : Français (fre) Catégories : Langage de programmation Mots-clés : 1950-1959  1960-1969 Résumé : Rappel du principe de fonctionnement d'un ordinateur et invention des langages d'assemblage. Présentation et caractéristiques des premiers langages de programmation informatiques : Fortran, Algol, Cobol, Lisp. Nature du document : documentaire Genre : Documentaire En ligne : https://interstices.info/naissance-des-langages-de-programmation/ Naissance des langages de programmation [document électronique] / Sacha Krakowiak ; Jacques Mossière . - Interstices, 2012 . -  ; Web. Langues : Français (fre) Catégories : Langage de programmation Mots-clés : 1950-1959  1960-1969 Résumé : Rappel du principe de fonctionnement d'un ordinateur et invention des langages d'assemblage. Présentation et caractéristiques des premiers langages de programmation informatiques : Fortran, Algol, Cobol, Lisp. Nature du document : documentaire Genre : Documentaire En ligne : https://interstices.info/naissance-des-langages-de-programmation/

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

L'ordinateur musicien / Marie Chevais-Mora / Centre national de la recherche scientifique (CNRS) (2015)  

Permalink

Pourquoi créer des nouveaux langages de programmation ? / Ludovic Henrio / Interstices (2019)  

Permalink

Le temps / Alban Gonord / Paris : Flammarion (2001)

Permalink