Recherche simple :
par Le Goff, Vincent (1988-....)
Éditions Eyrolles
2023 -
Disponible - 681.25 LEG
Niveau 3 - Informatique
Résumé : Présentation du langage de programmation Elixir basé sur un autre langage, Erlang, créé par Ericsson en 1987, accessible désormais en open source. Elixir permet ainsi de simplifier le développement de logiciels avec Erlang.
Hermès science publications
2002 -
Indisponible : En traitement
Résumé : Présente différentes voies d'approche permettant d'accroître l'adaptabilité des applications vis-à-vis de leur environnement.
par Rifflet, Jean-Marie ; Yunès, Jean-Baptiste
Ellipses
2014 -
Disponible - 681.2 RIF
Niveau 3 - Informatique
Résumé : Un ouvrage cernant, au travers d'exemples, plus de 120 programmes documentés et décortiqués, ainsi que quelques concepts essentiels de la programmation. ©Electre 2014
par Levy, Steven (1951-....)
Globe
2013 -
Disponible - 681.40 LEV
Niveau 3 - Informatique
Résumé : Les hackers, entendus ici comme "bricoleurs de code" ou développeurs, ont révolutionné l'informatique entre les années 1950 et 1980. Ils partageaient la même philosophie : l'ouverture, le partage, le refus de l'autorité, etc. L'auteur retrace le parcours de ces hommes qui ont mis en marche la révolution informatique : Bill Gates, Steve Jobs, Steve Wozniak, etc.
par Amade, Bernard
Micro application ; MA éditions
2018 -
Disponible - 681.2 AMA
Niveau 3 - Informatique
Résumé : Une méthode permettant de comprendre les enjeux de la programmation et d'utiliser des modèles transposables, avec des exemples à mettre en oeuvre. ©Electre 2018
Ellipses
2022 -
Disponible - 681.21(07) INF
Niveau 3 - Informatique
Résumé : Un cours complet détaillé couvrant l'intégralité du programme, des exercices corrigés, des encarts thématiques et historiques pour approfondir les notions abordées, une initiation aux fondamentaux d'architecture et de système ainsi qu'aux langages C et OCaml.
Techniques de l'ingénieur ; Impr. Corlet numérique
2018
Disponible - 62 TI TEC 402
Niveau 3 - Techniques
Résumé : Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique.
par Hromkovič, Juraj (1958-....) ; Kohn, Tobias (1982-....)
[Éditions Loisirs et pédagogie, LEP]
2023 -
Disponible - 681.234(07) HRO
Niveau 3 - Informatique
Résumé : Un manuel destiné aux débutants pour apprendre les bases de la programmation, en utilisant le dialecte TigerJython, issu du langage de programmation Python. Les auteurs expliquent notamment comment contrôler l'ordinateur en le programmant, comment concevoir et mettre en oeuvre des programmes ou encore comment créer, structurer et exploiter des bases de données. ©Electre 2023
par Mallet, Olivier
Ellipses
2023 -
Disponible - 681.229(07) MAL
Niveau 3 - Informatique
Résumé : Un cours complet détaillé avec de nombreux exemples, des programmes écrits dans les deux langages étudiés au sein de cette filière, C et OCaml, plus de soixante exercices et leurs corrigés complets.
Les bibliothèques de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La médiathèque de la Philharmonie de Paris
