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
PermalinkPermalinkPermalinkMini manuel réseaux informatique :Cours+ exos corrigés / Stéphane Cateloin
PermalinkMini manuel des réseaux informatiques
PermalinkMini-ordinateurs dans la gestion industrielle et le contrôle des processus / Tempier ,J
PermalinkPermalinkMining the social web / Matthew A. Russell
PermalinkMining the Web / Soumen Chakrabarti
PermalinkMise en Å“uvre de l'IAPX 286 / Vieillefond,C
PermalinkModel checking / E. M. Clarke
PermalinkModèles et métamodèles / Guy Caplat
PermalinkModeling the Internet and the Web / Pierre Baldi
PermalinkModélisation des attitudes cognitives et affectives chez l’individu en satiations d’apprentissage coopératif sur le web / MEDIANI, Chahrazed
PermalinkPermalinkModélisation et Gestion des Activités de Maintenance dans les Systèmes de Production / Benouda nacéra
PermalinkPermalinkPermalinkModern information retrieval / Ricardo Baeza-Yates
PermalinkMon cours visuel de programmation / Sean McManus
PermalinkPermalinkMorphologie mathématique / Schmitt, Michel
PermalinkLes Mots clés du basic / Eddie Adamis
PermalinkMS-DOS
PermalinkMS-DOS et PC-DOS :Sur votre IBM PC / Peter Norton
PermalinkMS-DOS PC-DOS / Miller,Alan R
PermalinkMulti-agent systems / Jacques Ferber
PermalinkMulti-paradigm programming using C++ / Dirk Vermeir
PermalinkMultiagent systems / Yoav Shoham
PermalinkLe multimédia et la compression / Stéphane Paris
PermalinkLe multimédia / Stéphane Paris
PermalinkMultimodalité biométrique dans le cadre d’une application d’authentification / Houda Benaliouche
PermalinkMySQL 5.6 / Stéphane Combaudon
PermalinkMySQL 5 / Cyril Thibaud
PermalinkMySQL Database Service Revealed: Running MySQL as a Service in the Oracle Cloud Infrastructure / Bell Charles
PermalinkNagios / Anis Majdoub
PermalinkNet recherche 2010 / Véronique Mesguich
PermalinkNetscape pépère / John Dupuy
PermalinkNetwork congestion control / Michael Welzl
PermalinkNetwork routing / Deepankar Medhi
PermalinkNetwork science / Albert-László Barabási
PermalinkNeural networks for pattern recognition / Christopher M. Bishop
PermalinkLes NFT en 40 questions / Jean-Guillaume Dumas
PermalinkNode.js / Julien Fontanet
PermalinkNouveau dictionnaire de la micro-informatique / Virga
PermalinkNovell intranet Ware / Karanjits Siyan
PermalinkNovell NetWare 4:Versions 2, 3, 4 / Hubert Lelong
PermalinkNumerical Methods Using Java / Haksun Li
PermalinkNumerical Recipes Example Book (FORTRAN) / William T. Vetterling
PermalinkNumerical Recipes / William T. Vetterling
PermalinkObject-oriented software engineering using UML, patterns, and java / Bernd Bruegge
PermalinkObjectif cloud : une démarche pratique orientée services / Jean-Louis Caire
PermalinkObjective-C pour le développeur avancé / Chatelier, Pierre-Yves
PermalinkObjective-C pour le développeur avancé :Le Langage iPhone/iPad et Mac OS X pour les développeurs C++/Java/C# / CHATELIER,Pierre Y
PermalinkObstacle avoidance in multi-robot systems :Experiments in parallel genetic algorithms / GILL,Mark A. C.
PermalinkOCS Inventory NG / Yves Guimard
PermalinkODMG-93 / Cattell,Rick G.G
PermalinkÀ l'oeil sur internet / Olivier Pavie
PermalinkOntologies et modélisation par SMA en SHS
PermalinkLes Ontologies / AkliAstouati,Karima
PermalinkOntology Matching / Jerome Euzenat
PermalinkPermalinkOpen Data / Jean-Philippe Gouigoux
PermalinkOperating system concepts essentials / Abraham Silberschatz
PermalinkOptimisation des bases de donnée:Mise en oeuvre sous oracle / NAVARRO,Laurent
PermalinkOptimisation des performances par administration et tuning d’entrepôt de données / TOUMI, Lyazid
PermalinkOption informatique MPSI-MP/MP / Nathaniel Carr©
PermalinkPermalinkPermalinkOracle 11g : optimisez vos bases de données en production (ressources matérielles, stockage, mémoire, requêtes) / Humblot, Emmanuel
PermalinkOracle 11g / Jérôme Gabillaud
PermalinkOracle 12c Administration / Razvan Bizoi
PermalinkOracle 12c / Claire Noirault
PermalinkPermalinkOracle 8i / Michael Abbey
PermalinkOracle 8i / Scott Urman
PermalinkOracle 8i / Kevin Loney
Permalink