Aide-mémoire d'informatique

Public ISBD Titre : Aide-mémoire d'informatique Type de document : texte imprimé Mention d'édition : 4e éd. mise à jour et augmentée Editeur : Paris : Dunod Année de publication : 1983 Collection : Sous-collection : Phase formation Importance : 283 p. Présentation : ill., couv. ill. ISBN/ISSN/EAN : 978-2-04-015605-3 Langues : Français Tags : Informatique Index. décimale : Aide-mémoire d'informatique [texte imprimé]  . -  4e éd. mise à jour et augmentée . - [S.l. : s.n.], 1983 . - 283 p. : ill., couv. ill.. - (. Phase formation) . ISBN : 978-2-04-015605-3 Langues : Français Tags : Informatique Index. décimale :

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Algèbre et informatique

Public ISBD Titre : Algèbre et informatique : applications aux codes linéaires correcteurs d'erreurs Type de document : texte imprimé Editeur : Toulouse : Cépaduès-éd. Année de publication : impr. 2013 Importance : 1 vol. (239 p.) Présentation : couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-36493-059-9 Note générale : Contient un flashcode Index Langues : Français Tags : Codes correcteurs d'erreurs (théorie de l'information)  Informatique  Mathématiques Index. décimale : Résumé : De nos jours, l'information occupe une place prépondérante dans la vie de chacun de nous ; encore faut-il que son mode d'acheminement soit fiable ou, à tout le moins, susceptible d'être corrigé. Cet ouvrage apporte des réponses à la problématique qui vient d'être exposée grâce à la mise en oeuvre de protocoles mathématiques capables de reconstituer intégralement la communication originelle sous réserve, cependant, qu'il n'y ait pas eu trop d'erreurs de transmission. Algèbre et informatique : applications aux codes linéaires correcteurs d'erreurs [texte imprimé] . - Toulouse : Cépaduès-éd., impr. 2013 . - 1 vol. (239 p.) : couv. ill. en coul. ; 21 cm. ISBN : 978-2-36493-059-9 Contient un flashcode Index Langues : Français Tags : Codes correcteurs d'erreurs (théorie de l'information)  Informatique  Mathématiques Index. décimale : Résumé : De nos jours, l'information occupe une place prépondérante dans la vie de chacun de nous ; encore faut-il que son mode d'acheminement soit fiable ou, à tout le moins, susceptible d'être corrigé. Cet ouvrage apporte des réponses à la problématique qui vient d'être exposée grâce à la mise en oeuvre de protocoles mathématiques capables de reconstituer intégralement la communication originelle sous réserve, cependant, qu'il n'y ait pas eu trop d'erreurs de transmission.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Cours et exercices corrigés d'algorithmique

Public ISBD Titre : Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique Type de document : texte imprimé Editeur : Paris : Vuibert Année de publication : impr. 2010 Importance : 1 vol. (VIII-264 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Note générale : Bibliogr. p. 260-261. Index Langues : Français Tags : Ordinateurs  Programmation  Problèmes et exercices  Algorithmes  Informatique Index. décimale : Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire Traverser Paris par des ruelles tranquilles, des jardins et des squares, en se jouant des artères encombrées et bruyantes.. lmpossible? Tel est pourtant le programme de ces promenades buissonnières et piétonnes qui donnent à découvrir la ville sous un visage qu'on lui avait (presque) oublié Des anciens villages aux nouveaux quartiers, le promeneur pourra choisir à sa guise et selon son humeur le type de panorama urbain qu'il souhaite arpenter Chaque promenade, longue de 3 à 7 kilomètres, est figurée clairement, étape par étape, sur des plans aquarellés qui épargnent aux amateurs de balades citadines les difficultés de repérage, pour privilégier le bonheur simple de marcher dans Paris. Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique [texte imprimé] . - Paris : Vuibert, impr. 2010 . - 1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-311-00020-7 Bibliogr. p. 260-261. Index Langues : Français Tags : Ordinateurs  Programmation  Problèmes et exercices  Algorithmes  Informatique Index. décimale : Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire Traverser Paris par des ruelles tranquilles, des jardins et des squares, en se jouant des artères encombrées et bruyantes.. lmpossible? Tel est pourtant le programme de ces promenades buissonnières et piétonnes qui donnent à découvrir la ville sous un visage qu'on lui avait (presque) oublié Des anciens villages aux nouveaux quartiers, le promeneur pourra choisir à sa guise et selon son humeur le type de panorama urbain qu'il souhaite arpenter Chaque promenade, longue de 3 à 7 kilomètres, est figurée clairement, étape par étape, sur des plans aquarellés qui épargnent aux amateurs de balades citadines les difficultés de repérage, pour privilégier le bonheur simple de marcher dans Paris.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Dictionnaire de l'informatique

Public ISBD Titre : Dictionnaire de l'informatique : français-anglais, anglais-français ; 35 000 termes et traductions ; dictionnaire Peter Collin Type de document : texte imprimé Mention d'édition : [Nouvelle éd. revue et corrigée] Editeur : Paris : Maxima Année de publication : cop. 2005 Importance : 1 vol. (413 p.) Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-84001-426-3 Langues : Français Anglais Tags : Informatique  Dictionnaires français  Dictionnaires anglais Index. décimale : Résumé : Référence incontournable sur les marchés anglo-saxons trois éditions et quatre réimpressions !) le Dictionnaire Peter Collin de l'informatique (français -anglais / anglais - français ) paraît enfin en France. Outil de travail indispensable tant pour les informaticiens, les traducteurs, les étudiants que pour ceux qui utilisent la terminologie informatique, ce dictionnaire bilingue, entièrement mis à jour propose la traduction de 35 000 termes et expressions se rapportant aux logiciels et à la programmation, aux matériels et périphériques, aux réseaux, à la PAO, aux messageries électroniques, à l'Internet et au commerce électronique ;des centaines d'exemples pour illustrer les notions les plus complexes ; des centaines de citations tirées de la presse spécialisée anglophone et francophone pour préciser le sens des mots et les expressions dans leur contexte. Destiné tout autant au spécialiste qu'à l'utilisateur néophyte, ce dictionnaire allie une très grande facilité d'utilisation à une exceptionnelle clarté. Dictionnaire de l'informatique : français-anglais, anglais-français ; 35 000 termes et traductions ; dictionnaire Peter Collin [texte imprimé]  . -  [Nouvelle éd. revue et corrigée] . - Paris : Maxima, cop. 2005 . - 1 vol. (413 p.) : couv. ill. ; 24 cm. ISBN : 978-2-84001-426-3 Langues : Français Anglais Tags : Informatique  Dictionnaires français  Dictionnaires anglais Index. décimale : Résumé : Référence incontournable sur les marchés anglo-saxons trois éditions et quatre réimpressions !) le Dictionnaire Peter Collin de l'informatique (français -anglais / anglais - français ) paraît enfin en France. Outil de travail indispensable tant pour les informaticiens, les traducteurs, les étudiants que pour ceux qui utilisent la terminologie informatique, ce dictionnaire bilingue, entièrement mis à jour propose la traduction de 35 000 termes et expressions se rapportant aux logiciels et à la programmation, aux matériels et périphériques, aux réseaux, à la PAO, aux messageries électroniques, à l'Internet et au commerce électronique ;des centaines d'exemples pour illustrer les notions les plus complexes ; des centaines de citations tirées de la presse spécialisée anglophone et francophone pour préciser le sens des mots et les expressions dans leur contexte. Destiné tout autant au spécialiste qu'à l'utilisateur néophyte, ce dictionnaire allie une très grande facilité d'utilisation à une exceptionnelle clarté.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Maths et informatique

Public ISBD Titre : Maths et informatique : visa pour la prépa ; MPSI, PCSI, PTSI, BCPST, ECS Type de document : texte imprimé Mention d'édition : [Éd.] 2018-2019 Editeur : Malakoff : Dunod Année de publication : DL 2018 Collection : Importance : 1 vol. (IV-235 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-077955-0 Note générale : Index Langues : Français Tags : Mathématiques  Problèmes et exercices  Informatique Index. décimale : Résumé : Vous souhaitez préparer votre entrée en prépa ' Vous êtes en prépa et vous pensez avoir des lacunes sur le programme du lycée ' Ce court ouvrage vous aidera à maîtriser tous les pré-requis en mathématiques. Il comporte un cours qui fait la synthèse des notions du lycée requises en prépa pour vous aider démarrer votre année sur des bases solides. Puis pour vous accompagner pendant le premier semestre de prépa, il  aborde "en douceur" les premières notions du programme, notamment une introduction à l'informatique. Vous y trouverez également un entraînement complet avec des tests de connaissances pour évaluer votre niveau, des exercices à difficulté progressive pour vous entraîner (avec tous leurs corrigés détaillés) ainsi que des  extraits d'épreuves de concours. Maths et informatique : visa pour la prépa ; MPSI, PCSI, PTSI, BCPST, ECS [texte imprimé]  . -  [Éd.] 2018-2019 . - [S.l. : s.n.], DL 2018 . - 1 vol. (IV-235 p.) : ill. ; 25 cm. - () . ISBN : 978-2-10-077955-0 Index Langues : Français Tags : Mathématiques  Problèmes et exercices  Informatique Index. décimale : Résumé : Vous souhaitez préparer votre entrée en prépa ' Vous êtes en prépa et vous pensez avoir des lacunes sur le programme du lycée ' Ce court ouvrage vous aidera à maîtriser tous les pré-requis en mathématiques. Il comporte un cours qui fait la synthèse des notions du lycée requises en prépa pour vous aider démarrer votre année sur des bases solides. Puis pour vous accompagner pendant le premier semestre de prépa, il  aborde "en douceur" les premières notions du programme, notamment une introduction à l'informatique. Vous y trouverez également un entraînement complet avec des tests de connaissances pour évaluer votre niveau, des exercices à difficulté progressive pour vous entraîner (avec tous leurs corrigés détaillés) ainsi que des  extraits d'épreuves de concours.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Méthodes mathématiques pour l'informatique

Permalink

MP mathématiques et informatique 2013

Permalink

Option informatique

Permalink

Le Cerveau planétaire

Permalink

Élements finis

Permalink