الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Bases de données relationnelles

Public ISBD Titre : Bases de données relationnelles : concepts, mise en oeuvre et exercices Type de document : texte imprimé Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2008 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (494 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2086-7 Note générale : Bibliogr. p. 489-490. Index Langues : Français (fre) Mots-clés : Bases de données Index. décimale : 005 Résumé : S'adressant aux étudiants des écoles d'ingénieurs et des filières informatiques, cet ouvrage approfondit les problématiques de mise en oeuvre des bases de données relationnelles et présente une vision détaillée de certaines de leurs fonctionnalités. Illustré de nombreux exercices résolus et variantes pédagogiques permettant la mise en application des concepts développés, il propose une approche originale des principales thématiques liées aux systèmes de gestion de bases de données relationnelles : la modélisation des données avec présentation synthétique du modèle Entité/Relation , l'algèbre relationnelle, le langage SQL et le passage de l'un à l'autre pour tout type de requête , quelques fonctionnalités des BD relationnelles : gestion de contraintes d'intégrité statiques et dynamiques (déclencheurs), intégration de SQL dans le langage PL/SQL (Procedural Language/SQL), spécification de fonctions, procédures et paquetages, utilisation via des langages hôtes , la gestion des accès concurrents et de la sécurité. Bases de données relationnelles : concepts, mise en oeuvre et exercices [texte imprimé] . - Paris : Hermès science publications-Lavoisier, impr. 2008 . - 1 vol. (494 p.) : ill. ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) . ISBN : 978-2-7462-2086-7 Bibliogr. p. 489-490. Index Langues : Français (fre) Mots-clés : Bases de données Index. décimale : 005 Résumé : S'adressant aux étudiants des écoles d'ingénieurs et des filières informatiques, cet ouvrage approfondit les problématiques de mise en oeuvre des bases de données relationnelles et présente une vision détaillée de certaines de leurs fonctionnalités. Illustré de nombreux exercices résolus et variantes pédagogiques permettant la mise en application des concepts développés, il propose une approche originale des principales thématiques liées aux systèmes de gestion de bases de données relationnelles : la modélisation des données avec présentation synthétique du modèle Entité/Relation , l'algèbre relationnelle, le langage SQL et le passage de l'un à l'autre pour tout type de requête , quelques fonctionnalités des BD relationnelles : gestion de contraintes d'intégrité statiques et dynamiques (déclencheurs), intégration de SQL dans le langage PL/SQL (Procedural Language/SQL), spécification de fonctions, procédures et paquetages, utilisation via des langages hôtes , la gestion des accès concurrents et de la sécurité.

Réservation

Réserver ce document

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
fsei01928	005-506.1	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01931	005-506.2	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01929	005-506.3	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01932	005-506.4	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01933	005-506.5	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01934	005-506.6	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei01930	005-506.7	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible

Logique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra

Public ISBD Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : cop. 2011 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (424 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Langues : Français (fre) Mots-clés : l'informatique  l'inelligence artificielle Index. décimale : 006 Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra, Auteur . - Paris : Hermès science publications-Lavoisier, cop. 2011 . - 1 vol. (424 p.) ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) . ISBN : 978-2-7462-2600-5 Langues : Français (fre) Mots-clés : l'informatique  l'inelligence artificielle Index. décimale : 006 Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions.

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
fsei09984	006-289.1	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible

Programmation avancée en C / Sébastien Varrette

Public ISBD Titre : Programmation avancée en C : avec exercices et corrigés Type de document : texte imprimé Auteurs : Sébastien Varrette, Auteur ; Nicolas Bernard (1981-....), Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2007 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (418 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1555-9 Note générale : Bibliogr. p. 405-407. Index Langues : Français (fre) Mots-clés : Programmation Index. décimale : 005 Résumé : Destiné aux professionnels comme aux étudiants possédant de bonnes bases de programmation dans un langage impératif, Programmation avancée en C décrit le langage C tel qu'il est défini dans la norme C99. L'atout majeur de ce livre est d'associer dans un unique ouvrage : une description du langage C plus précise et plus complète que dans les ouvrages introductifs , des chapitres spécifiques qui couvrent des sujets connexes aussi divers que la programmation modulaire, la traque des bugs, les questions d'optimisation et de sécurité mais aussi l'utilisation de code C avec d'autres langages , une introduction à la programmation système et réseau en environnement POSIX qui décrit les utilisations les plus fréquentes et s'avère indispensable pour profiter pleinement des manuels de ces systèmes , enfin, plus de 75 exercices corrigés qui permettent au lecteur d'assimiler les notions abordées et d'acquérir ainsi une connaissance approfondie de C. Programmation avancée en C : avec exercices et corrigés [texte imprimé] / Sébastien Varrette, Auteur ; Nicolas Bernard (1981-....), Auteur . - Paris : Hermès science publications-Lavoisier, impr. 2007 . - 1 vol. (418 p.) : ill. ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) . ISBN : 978-2-7462-1555-9 Bibliogr. p. 405-407. Index Langues : Français (fre) Mots-clés : Programmation Index. décimale : 005 Résumé : Destiné aux professionnels comme aux étudiants possédant de bonnes bases de programmation dans un langage impératif, Programmation avancée en C décrit le langage C tel qu'il est défini dans la norme C99. L'atout majeur de ce livre est d'associer dans un unique ouvrage : une description du langage C plus précise et plus complète que dans les ouvrages introductifs , des chapitres spécifiques qui couvrent des sujets connexes aussi divers que la programmation modulaire, la traque des bugs, les questions d'optimisation et de sécurité mais aussi l'utilisation de code C avec d'autres langages , une introduction à la programmation système et réseau en environnement POSIX qui décrit les utilisations les plus fréquentes et s'avère indispensable pour profiter pleinement des manuels de ces systèmes , enfin, plus de 75 exercices corrigés qui permettent au lecteur d'assimiler les notions abordées et d'acquérir ainsi une connaissance approfondie de C.

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
fsei02028	005-455.1	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei02026	005-455.2	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei02027	005-455.3	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible

---

1 (1 - 3 / 3)