University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Méthodes mathématiques pour l'informatique / Vélu, Jacques
Titre : Méthodes mathématiques pour l'informatique : Cours et exercices corrigés Type de document : texte imprimé Auteurs : Vélu, Jacques, Auteur Mention d'édition : 5e éd. Editeur : Paris : Dunod Année de publication : 2013 Collection : Sciences sup Importance : 1 vol. (421 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-059452-8 Note générale : 978-2-10-059452-8 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique : Mathématiques : Problèmes et exercices Index. décimale : 004 Informatique Résumé :
Ce manuel explique en profondeur tous les thèmes qui constituent le socle des connaissances mathématiques indispensables à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite.
Des exercices nombreux et souvent distrayants éclairent des démonstrations qui vont directement à l'essentiel.
Cette cinquième édition s'enrichit de cinq nouveaux exercices et problèmes qui font tous l'objet d'une vidéo avec tableau animé et explication audio détaillée de la solution. Ces vidéos sont accessibles gratuitement sur le web.Note de contenu :
Sommaire
P. 1. Chapitre 1, La notion d'ensemble
P. 17. Chapitre 2, Constructions d'ensembles
P. 27. Chapitre 3, Cardinal d'un ensemble
P. 39. Chapitre 4, Analyse combinatoire
P. 55. Chapitre 5, Relations
P. 67. Chapitre 6, Ensembles ordonnés
P. 77. Chapitre 7, Calcul booléen
P. 93. Chapitre 8, Parties d'un ensemble
P. 105. Chapitre 9, Probabilités combinatoires
P. 125. Chapitre 10, Fonctions booléennes
P. 149. Chapitre 11, Simplification des formules
P. 173. Chapitre 12, Calcul propositionnel
P. 191. Chapitre 13, Arithmétique
P. 207. Chapitre 14, Congruences
P. 225. Chapitre 15, Codes détecteurs codes correcteurs
P. 241. Chapitre 16, Codages linéaires
P. 261. Chapitre 17, Graphes
P. 281. Chapitre 18, Arbres enracinés
P. 299. Chapitre 19, Automates finis
P. 327. Chapitre 20, Constructions d'automates
ÂCôte titre : Fs/13221-13223 Méthodes mathématiques pour l'informatique : Cours et exercices corrigés [texte imprimé] / Vélu, Jacques, Auteur . - 5e éd. . - Paris : Dunod, 2013 . - 1 vol. (421 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-059452-8
978-2-10-059452-8
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique : Mathématiques : Problèmes et exercices Index. décimale : 004 Informatique Résumé :
Ce manuel explique en profondeur tous les thèmes qui constituent le socle des connaissances mathématiques indispensables à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite.
Des exercices nombreux et souvent distrayants éclairent des démonstrations qui vont directement à l'essentiel.
Cette cinquième édition s'enrichit de cinq nouveaux exercices et problèmes qui font tous l'objet d'une vidéo avec tableau animé et explication audio détaillée de la solution. Ces vidéos sont accessibles gratuitement sur le web.Note de contenu :
Sommaire
P. 1. Chapitre 1, La notion d'ensemble
P. 17. Chapitre 2, Constructions d'ensembles
P. 27. Chapitre 3, Cardinal d'un ensemble
P. 39. Chapitre 4, Analyse combinatoire
P. 55. Chapitre 5, Relations
P. 67. Chapitre 6, Ensembles ordonnés
P. 77. Chapitre 7, Calcul booléen
P. 93. Chapitre 8, Parties d'un ensemble
P. 105. Chapitre 9, Probabilités combinatoires
P. 125. Chapitre 10, Fonctions booléennes
P. 149. Chapitre 11, Simplification des formules
P. 173. Chapitre 12, Calcul propositionnel
P. 191. Chapitre 13, Arithmétique
P. 207. Chapitre 14, Congruences
P. 225. Chapitre 15, Codes détecteurs codes correcteurs
P. 241. Chapitre 16, Codages linéaires
P. 261. Chapitre 17, Graphes
P. 281. Chapitre 18, Arbres enracinés
P. 299. Chapitre 19, Automates finis
P. 327. Chapitre 20, Constructions d'automates
ÂCôte titre : Fs/13221-13223 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/13222 Fs/13221-13223 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13223 Fs/13221-13223 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13221 Fs/13221-13223 livre Bibliothéque des sciences Français Disponible
DisponibleMéthodesde programmation / Bertrand Meyer
Titre : Méthodesde programmation Type de document : texte imprimé Auteurs : Bertrand Meyer, Auteur ; Claude Baudion, Auteur Mention d'édition : 3e ed Editeur : Eyoolles: parise Année de publication : 1984 Importance : 1 vol (661 p.) Format : 24 cm ISBN/ISSN/EAN : 0399-4198 Note générale : 0399-4198 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique: Programmation Index. décimale : 005.1 Programmation Côte titre : Fs/8550 Méthodesde programmation [texte imprimé] / Bertrand Meyer, Auteur ; Claude Baudion, Auteur . - 3e ed . - [S.l.] : Eyoolles: parise, 1984 . - 1 vol (661 p.) ; 24 cm.
ISSN : 0399-4198
0399-4198
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique: Programmation Index. décimale : 005.1 Programmation Côte titre : Fs/8550 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8550 Fs/8550 livre Bibliothéque des sciences Français Disponible
DisponibleMéthodologie de la programmation en C / BRAQUELAIRE,Jean-Pierre
Titre : Méthodologie de la programmation en C : Bibliothèque standard - API-POSIX Type de document : texte imprimé Auteurs : BRAQUELAIRE,Jean-Pierre Mention d'édition : 3e ed Editeur : Paris : Dunod Année de publication : 2000 Importance : 1 vol (556 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-004782-6 Note générale : 978-2-10-004782-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langage C
Bibliothèque standard
Programmation POSIX
Interfaces de programmation d'applications : Manuels d'enseignement supérieurIndex. décimale : 004 Informatique Résumé :
Le langage C, créé en 1978, est encore aujourd'hui l'un
des langages de programmation les plus utilisés, notamment dans le monde du
logiciel libre. 'Méthodologie de la programmation en C - Bibliothèque
standard - API POSIX' constitue non seulement une présentation exhaustive du
langage C mais aussi un guide pour programmer en C de facon méthodique et
élégante. Unix et C étant étroitement liés, c'est aussi un livre
d'introduction aux outils et methodes pour la programmation sous Unix.
Note de contenu :
Sommaire
Avant-propos
Introduction
Les déclarations
Les expressions
Les instructions
Les directives
La bibliothèque standard
L'API POSIX
Modularisation des programmes C
A : Mémento des fonctions standard
B : Table des codes isolatin 1 et 9
Liste des tableaux
Index des programmes
Index généralCôte titre : Fs/8552 Méthodologie de la programmation en C : Bibliothèque standard - API-POSIX [texte imprimé] / BRAQUELAIRE,Jean-Pierre . - 3e ed . - Paris : Dunod, 2000 . - 1 vol (556 p.) : ill. ; 24 cm.
ISBN : 978-2-10-004782-6
978-2-10-004782-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langage C
Bibliothèque standard
Programmation POSIX
Interfaces de programmation d'applications : Manuels d'enseignement supérieurIndex. décimale : 004 Informatique Résumé :
Le langage C, créé en 1978, est encore aujourd'hui l'un
des langages de programmation les plus utilisés, notamment dans le monde du
logiciel libre. 'Méthodologie de la programmation en C - Bibliothèque
standard - API POSIX' constitue non seulement une présentation exhaustive du
langage C mais aussi un guide pour programmer en C de facon méthodique et
élégante. Unix et C étant étroitement liés, c'est aussi un livre
d'introduction aux outils et methodes pour la programmation sous Unix.
Note de contenu :
Sommaire
Avant-propos
Introduction
Les déclarations
Les expressions
Les instructions
Les directives
La bibliothèque standard
L'API POSIX
Modularisation des programmes C
A : Mémento des fonctions standard
B : Table des codes isolatin 1 et 9
Liste des tableaux
Index des programmes
Index généralCôte titre : Fs/8552 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8552 Fs/8552 livre Bibliothéque des sciences Français Disponible
DisponibleMéthodologie de la programmation en C / Achille Braquelaire
Titre : Méthodologie de la programmation en C : Norme C 99 - API POSIX :Cours et exemples de programmes - Master - Ecoles d'ingénieurs - Formation continue Type de document : texte imprimé Auteurs : Achille Braquelaire (1958-....), Mention d'édition : 4e éd. Editeur : Paris : Dunod Année de publication : 2005 Collection : Sciences sup Sous-collection : Informatique. Importance : 1 vol. (652 p.) Présentation : couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-049018-9 Langues : Français (fre) Catégories : Informatique Mots-clés : C (Langages de programmation ) Index. décimale : 005.133 Langages de programmation spécifiques Résumé :
Cet ouvrage s'adresse aux étudiants de master d'informatique, aux élèves-ingénieurs et aux développeurs.
Il est basé sur les normes internationales ISO/IEC 9899 (1999 - 2e édition) et ISO/IEC 9945-1. La première, encore appelée C 99, est la norme la plus récente du langage C et de la bibliothèque standard, et la seconde, encore appelée POSIX.1, spécifie une interface de programmation portable avec les systèmes d'exploitation. La description des fonctionnalités du langage et des bibliothèques est exhaustive et rigoureusement conforme aux normes.
L'ouvrage comporte huit chapitres. Les cinq premiers sont consacrés à la présentation du langage, les deux suivants aux bibliothèques C standard et POSIX, et le dernier à la modularisation des programmes C. À l'exception du chapitre 7, toutes les fonctionnalités présentées sont portables et indépendantes du système d'exploitation utilisé. De nombreux exemples de programmes accompagnés d'extraits de sessions réalisés sous GNU/Linux illustrent le propos. L'ensemble des programmes est disponible via Internet.Note de contenu :
Sommaire
Avant-propos
Introduction
Les déclarations
Les expressions
Les instructions
Les directives
La bibliothèque standard
L'API POSIX
Modularisation des programmes C
A : Mémento des fonctions standard
B : Table des codes isolatin 1 et 9
Liste des tableaux
Index des programmes
Index généralCôte titre : Fs/19567 Méthodologie de la programmation en C : Norme C 99 - API POSIX :Cours et exemples de programmes - Master - Ecoles d'ingénieurs - Formation continue [texte imprimé] / Achille Braquelaire (1958-....), . - 4e éd. . - Paris : Dunod, 2005 . - 1 vol. (652 p.) : couv. ill. en coul. ; 24 cm.. - (Sciences sup. Informatique.) .
ISBN : 978-2-10-049018-9
Langues : Français (fre)
Catégories : Informatique Mots-clés : C (Langages de programmation ) Index. décimale : 005.133 Langages de programmation spécifiques Résumé :
Cet ouvrage s'adresse aux étudiants de master d'informatique, aux élèves-ingénieurs et aux développeurs.
Il est basé sur les normes internationales ISO/IEC 9899 (1999 - 2e édition) et ISO/IEC 9945-1. La première, encore appelée C 99, est la norme la plus récente du langage C et de la bibliothèque standard, et la seconde, encore appelée POSIX.1, spécifie une interface de programmation portable avec les systèmes d'exploitation. La description des fonctionnalités du langage et des bibliothèques est exhaustive et rigoureusement conforme aux normes.
L'ouvrage comporte huit chapitres. Les cinq premiers sont consacrés à la présentation du langage, les deux suivants aux bibliothèques C standard et POSIX, et le dernier à la modularisation des programmes C. À l'exception du chapitre 7, toutes les fonctionnalités présentées sont portables et indépendantes du système d'exploitation utilisé. De nombreux exemples de programmes accompagnés d'extraits de sessions réalisés sous GNU/Linux illustrent le propos. L'ensemble des programmes est disponible via Internet.Note de contenu :
Sommaire
Avant-propos
Introduction
Les déclarations
Les expressions
Les instructions
Les directives
La bibliothèque standard
L'API POSIX
Modularisation des programmes C
A : Mémento des fonctions standard
B : Table des codes isolatin 1 et 9
Liste des tableaux
Index des programmes
Index généralCôte titre : Fs/19567 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19567 Fs/19567 Livre Bibliothéque des sciences Français Disponible
DisponibleMéthodologie de la programmation et management des informations / Philippe Trigano
Titre : Méthodologie de la programmation et management des informations Type de document : texte imprimé Auteurs : Philippe Trigano Editeur : Paris : Ellipses Année de publication : 1989 Importance : 1 vol (255 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-8919-7 Note générale : 978-2-7298-8919-7 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Méthodologie de la programmation
Gestion des information(logiciel)Index. décimale : 004 - Informatique Résumé :
Le présent ouvrage correspond à un cours dispensé aux élèves ingénieurs en Génie Informatique à l'Université de Technologie de Compiègne (UTC). Il a pour but d'initier le lecteur à l'analyse des systèmes d'information, et de lui indiquer les concepts de base d'une méthodologie de la programmation, afin qu'il soit capable d'informatiser des traitements manuels ou d'optimiser des traitements informatiques existants. Il n'a pas pour objectif de former des spécialistes de l'informatique de gestion, ni de former des programmeurs avertis, mais plutôt de sensibiliser le lecteur à des problèmes simples qui peuvent se poser lors de la réalisation d'une application informatique réelle, au sein de l'entreprise. Il constitue ainsi la suite logique aux ouvrages de base sur l'informatique, la programmation et l'algorithmique, et devient de ce fait un outil idéal pour tout programmeur désireux d'avancer plus loin vers le métier d'ingénieur informaticien.Côte titre : Fs/8583 Méthodologie de la programmation et management des informations [texte imprimé] / Philippe Trigano . - Paris : Ellipses, 1989 . - 1 vol (255 p.) ; 24 cm.
ISBN : 978-2-7298-8919-7
978-2-7298-8919-7
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Méthodologie de la programmation
Gestion des information(logiciel)Index. décimale : 004 - Informatique Résumé :
Le présent ouvrage correspond à un cours dispensé aux élèves ingénieurs en Génie Informatique à l'Université de Technologie de Compiègne (UTC). Il a pour but d'initier le lecteur à l'analyse des systèmes d'information, et de lui indiquer les concepts de base d'une méthodologie de la programmation, afin qu'il soit capable d'informatiser des traitements manuels ou d'optimiser des traitements informatiques existants. Il n'a pas pour objectif de former des spécialistes de l'informatique de gestion, ni de former des programmeurs avertis, mais plutôt de sensibiliser le lecteur à des problèmes simples qui peuvent se poser lors de la réalisation d'une application informatique réelle, au sein de l'entreprise. Il constitue ainsi la suite logique aux ouvrages de base sur l'informatique, la programmation et l'algorithmique, et devient de ce fait un outil idéal pour tout programmeur désireux d'avancer plus loin vers le métier d'ingénieur informaticien.Côte titre : Fs/8583 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8553 Fs/8553 livre Bibliothéque des sciences Français Disponible
DisponibleMicro-informatique appliquée aux économies d'énergie en combustion / Dumez,A
PermalinkMicro-informatique de gestion / Guérin,G
PermalinkLes Micro-ondes T.1 / R Badoual
PermalinkMicro-ordinateurs / Mcglynn,Daniel R
PermalinkMicrocomputer-based design / John B Peatman
PermalinkMicroprocesseur 6809 : Périphériques, processeur graphique / Claude Dardanne
PermalinkUn microprocesseur pas a pas / André Villdr
PermalinkMicrosoft Access 97 / Joe Habraken
PermalinkMicrosoft Access 97 / Ulrich Matthey
PermalinkMicrosoft office 97 / Barbara Schutte
PermalinkMicrosoft office 97 / Aitken, Peter
PermalinkMicrosoft office 97 / Udo Bretschneider
PermalinkMicrosoft office Access / John L Viescas
PermalinkMicrosoft Office Project Server 2007 / Jean-François Bavitot
PermalinkMicrosoft Office SharePoint Server 2007, MOSS 2007 / Marc Benisty
PermalinkMicrosoft Team Foundation Server, TFS / Florent Santin
PermalinkMicrosoft Windows 95 / Pia Maslo
PermalinkMicrosoft Windows 95 / Ron Pearson
PermalinkMigration de données / Bernard Lauxerrois
PermalinkPermalink