الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
. Faculté des Sciences Exactes et Informatique
1350 résultat(s)
Affiner la recherche
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Squid : intégrez un proxy à votre réseau d'entreprise Type de document : texte imprimé Auteurs : Loïc Thomas (1979-....), Auteur Editeur : Saint-Herblain : ENI éd. Année de publication : cop. 2013 Collection : Epsilon (Saint-Herblain), ISSN 1960-3444 Importance : 1 vol. (323 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-7918-2 Note générale : Notice réd. d'après la couv.
Le livre contient une adresse internet permettant l'accès à un contenu complémentaire
IndexLangues : Français (fre) Mots-clés : Squid Index. décimale : 006 Résumé : "Ce livre sur Squid (en version 3.2 au moment de l'écriture) s'adresse aux techniciens et administrateurs réseaux et a pour objectif de présenter l'intégration de Squid pour optimiser, sécuriser et contrôler les accès à Internet sur un réseau d'entreprise. Squid est une des solutions proxy cache Open Source la plus déployée aujourd'hui. Chaque chapitre est abordé de façon théorique et pratique à partir d'exemples simples pour que le lecteur puisse se mettre en situation et adapter les différents paramètres et fonctionnalités en fonction de ses besoins. Après avoir défini le rôle, les principes de base et l'interaction d'un proxy cache avec le protocole http, l'auteur présente les grands principes d'installation et de démarrage de Squid. Une première partie du livre est ensuite réservée aux différentes fonctionnalités couramment utilisées comme la gestion évoluée des règles d'accès en fonction d'adresses, de noms de domaine ou encore de noms d'utilisateur. L'optimisation des zones de stockage, l'interception des flux http pour la fonction de proxy transparent ou encore l'interconnexion de cache Squid sont également traitées. La suite du livre permet aux lecteurs de sécuriser les accès au proxy cache en reprenant les méthodes d'identification par formulaire ou d'authentification unifiée en intégrant Squid à l'annuaire Active Directory. L'auteur détaille ensuite des points importants comme l'interprétation des fichiers journaux et l'optimisation puis la mise en uvre d'outils pour afficher ou créer des rapports (consultation des sites web les plus visités, type de sites visités par utilisateur...). Un chapitre entier est consacré aux filtrages URL, celui-ci s'appuie sur le module Squidguard. On y retrouve les principes de listes blanches, listes noires, de la redirection et de la journalisation des accès. Un dernier chapitre présente la fonction de proxy inversé qui permet de sécuriser et de soulager les accès aux serveurs Web internes. Des exemples de fichiers de configuration sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Avant-propos - Les principes de base d'un serveur cache - Installation et configuration de Squid - Configuration avancée du serveur cache - L'authentification sous Squid - Les outils d'analyse - squidGuard - Le proxy inversé Squid : intégrez un proxy à votre réseau d'entreprise [texte imprimé] / Loïc Thomas (1979-....), Auteur . - Saint-Herblain : ENI éd., cop. 2013 . - 1 vol. (323 p.) : ill., couv. ill. en coul. ; 21 cm. - (Epsilon (Saint-Herblain), ISSN 1960-3444) .
ISBN : 978-2-7460-7918-2
Notice réd. d'après la couv.
Le livre contient une adresse internet permettant l'accès à un contenu complémentaire
Index
Langues : Français (fre)
Mots-clés : Squid Index. décimale : 006 Résumé : "Ce livre sur Squid (en version 3.2 au moment de l'écriture) s'adresse aux techniciens et administrateurs réseaux et a pour objectif de présenter l'intégration de Squid pour optimiser, sécuriser et contrôler les accès à Internet sur un réseau d'entreprise. Squid est une des solutions proxy cache Open Source la plus déployée aujourd'hui. Chaque chapitre est abordé de façon théorique et pratique à partir d'exemples simples pour que le lecteur puisse se mettre en situation et adapter les différents paramètres et fonctionnalités en fonction de ses besoins. Après avoir défini le rôle, les principes de base et l'interaction d'un proxy cache avec le protocole http, l'auteur présente les grands principes d'installation et de démarrage de Squid. Une première partie du livre est ensuite réservée aux différentes fonctionnalités couramment utilisées comme la gestion évoluée des règles d'accès en fonction d'adresses, de noms de domaine ou encore de noms d'utilisateur. L'optimisation des zones de stockage, l'interception des flux http pour la fonction de proxy transparent ou encore l'interconnexion de cache Squid sont également traitées. La suite du livre permet aux lecteurs de sécuriser les accès au proxy cache en reprenant les méthodes d'identification par formulaire ou d'authentification unifiée en intégrant Squid à l'annuaire Active Directory. L'auteur détaille ensuite des points importants comme l'interprétation des fichiers journaux et l'optimisation puis la mise en uvre d'outils pour afficher ou créer des rapports (consultation des sites web les plus visités, type de sites visités par utilisateur...). Un chapitre entier est consacré aux filtrages URL, celui-ci s'appuie sur le module Squidguard. On y retrouve les principes de listes blanches, listes noires, de la redirection et de la journalisation des accès. Un dernier chapitre présente la fonction de proxy inversé qui permet de sécuriser et de soulager les accès aux serveurs Web internes. Des exemples de fichiers de configuration sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Avant-propos - Les principes de base d'un serveur cache - Installation et configuration de Squid - Configuration avancée du serveur cache - L'authentification sous Squid - Les outils d'analyse - squidGuard - Le proxy inversé Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei10700 006-327.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10701 006-327.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Standards de programmation C++ Type de document : texte imprimé Auteurs : Herb Sutter, Auteur ; Andrei Alexandrescu, Auteur ; Christine Eberhardt, Traducteur ; Goliwas, Traducteur Editeur : Paris : Pearson education Année de publication : impr. 2005, cop. 2005 Collection : Collection C++, ISSN 1778-7335 Importance : 1 vol. (XII-243 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7440-7144-7 Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : programmation C++ Index. décimale : 005 Résumé : Utiliser des standards de programmation permet damliorer notablement la qualit des logiciels, de rduire les dlais de mise sur le march, de rendre le travail d'quipe plus efficace, et dliminer le temps perdu sur des sujets sans importance. Deux des experts les plus respects en matire de C++ distillent dans ce livre de prcieux conseils prouvs par lensemble de la communaut runie autour de ce langage, afin que chaque programmeur puisse son tour acqurir les bons rflexes pour devenir plus performant.
Les auteurs abordent ici les principaux aspects de la programmation en C++: styles de conception et de programmation, fonctions, oprateurs, conception des classes, hritage, construction/destruction, copie, tche, espaces de noms, modules, modles, gnricit, exceptions, conteneurs et algorithmes STL, etc. Chaque standard prsent est dcrit avec prcision et illustr par des exemples pertinents. De la dfinition des types la gestion des erreurs, ce livre prsente les meilleures pratiques mettre en uvre lorsque lon programme en C++, y compris certaines techniques mises au point trs rcemment.Standards de programmation C++ [texte imprimé] / Herb Sutter, Auteur ; Andrei Alexandrescu, Auteur ; Christine Eberhardt, Traducteur ; Goliwas, Traducteur . - Paris : Pearson education, impr. 2005, cop. 2005 . - 1 vol. (XII-243 p.) : couv. ill. en coul. ; 24 cm. - (Collection C++, ISSN 1778-7335) .
ISBN : 978-2-7440-7144-7
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : programmation C++ Index. décimale : 005 Résumé : Utiliser des standards de programmation permet damliorer notablement la qualit des logiciels, de rduire les dlais de mise sur le march, de rendre le travail d'quipe plus efficace, et dliminer le temps perdu sur des sujets sans importance. Deux des experts les plus respects en matire de C++ distillent dans ce livre de prcieux conseils prouvs par lensemble de la communaut runie autour de ce langage, afin que chaque programmeur puisse son tour acqurir les bons rflexes pour devenir plus performant.
Les auteurs abordent ici les principaux aspects de la programmation en C++: styles de conception et de programmation, fonctions, oprateurs, conception des classes, hritage, construction/destruction, copie, tche, espaces de noms, modules, modles, gnricit, exceptions, conteneurs et algorithmes STL, etc. Chaque standard prsent est dcrit avec prcision et illustr par des exemples pertinents. De la dfinition des types la gestion des erreurs, ce livre prsente les meilleures pratiques mettre en uvre lorsque lon programme en C++, y compris certaines techniques mises au point trs rcemment.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01703 005-420.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Statistique et informatique : Les statistiques sous pascal,GW? basic et le langage graphique HPGL Type de document : texte imprimé Auteurs : ALLEM L., Auteur Editeur : Atlas:Alger Importance : 390 p. Présentation : 24 x 16 cm. Langues : Français (fre) Mots-clés : informatique Index. décimale : 005 Statistique et informatique : Les statistiques sous pascal,GW? basic et le langage graphique HPGL [texte imprimé] / ALLEM L., Auteur . - [S.l.] : Atlas:Alger, [s.d.] . - 390 p. : 24 x 16 cm.
Langues : Français (fre)
Mots-clés : informatique Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité fsei00789 005-37.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00786 005-37.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00788 005-37.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00787 005-37.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei06348 005-37.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00800 005-37.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00790 005-37.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei06349 005-37.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Statistiques avec excel 2000
Titre : Statistiques avec excel 2000 : créer ses propres feuilles de calcul Type de document : texte imprimé Année de publication : 2000 Importance : 338 p Présentation : ill Format : 23 x 17 cm. ISBN/ISSN/EAN : 978-2-212-09128-1 Langues : Français (fre) Mots-clés : Excel 2000 statistiques créer ses propres feuilles de calcul Index. décimale : 004 Résumé : * Utiliser Excel comme logiciel de statistiques
Vous qui utilisez des statistiques dans votre vie professionnelle ou dans vos études, savez-vous que le tableur Excel est une solution simple et économique pour effectuer vos calculs et représenter graphiquement vos données de diverses manières ? Cet ouvrage vous en fournira la preuve en vous faisant découvrir les nombreuses fonctionnalités d'Excel 2000 dédiées aux statistiques.
* Les feuilles de calcul prêtes à l'emploi sur le CD-Rom
Associé à la lecture de l'ouvrage, le CD-Rom offert vous guidera pas à pas dans la compréhension des méthodes, la construction et l'utilisation des feuilles de calcul. En outre, vous pourrez réutiliser ses classeurs modèles qui constituent de véritables minilogiciels de statistiques.
* Une nouvelle édition qui traite des statistiques non paramétriques
Cette deuxième édition de Statistiques avec Excel comporte près de 150 pages supplémentaires sur les tests en statistiques non paramétriques (tests de Kolmogorov, des séquences, de la médiane, du signe, etc.), utilisés notamment pour des échantillons de petite taille où les conditions de normalité ne sont pas respectées, mais également pour des variables de type ordinal : mentions à un examen, scores à une épreuve...
* A qui s'adresse cet ouvrage ?
- À tout scientifique devant analyser les caractéristiques des populations : biologiste, médecin, économiste, sociologue, mathématicien, ingénieur...
- Aux étudiants suivant un cours de statistiques et souhaitant le conforter par des travaux pratiques.
Sur le CD-Rom offert avec ce livre: Tous les exemples et classeurs modèles.
Biographie de l'auteur
Jean-Pierre Georgin, maître de conférences en mathématiques et statistiques, et Michel Gouet, professeur de physique spécialisé dans l'instrumentation et chercheur en physique des matériaux, développent depuis plusieurs années, au sein de l'université Paris Val de Marne, l'utilisation des tableurs comme support de leurs travaux pratiques respectifs.Statistiques avec excel 2000 : créer ses propres feuilles de calcul [texte imprimé] . - 2000 . - 338 p : ill ; 23 x 17 cm.
ISBN : 978-2-212-09128-1
Langues : Français (fre)
Mots-clés : Excel 2000 statistiques créer ses propres feuilles de calcul Index. décimale : 004 Résumé : * Utiliser Excel comme logiciel de statistiques
Vous qui utilisez des statistiques dans votre vie professionnelle ou dans vos études, savez-vous que le tableur Excel est une solution simple et économique pour effectuer vos calculs et représenter graphiquement vos données de diverses manières ? Cet ouvrage vous en fournira la preuve en vous faisant découvrir les nombreuses fonctionnalités d'Excel 2000 dédiées aux statistiques.
* Les feuilles de calcul prêtes à l'emploi sur le CD-Rom
Associé à la lecture de l'ouvrage, le CD-Rom offert vous guidera pas à pas dans la compréhension des méthodes, la construction et l'utilisation des feuilles de calcul. En outre, vous pourrez réutiliser ses classeurs modèles qui constituent de véritables minilogiciels de statistiques.
* Une nouvelle édition qui traite des statistiques non paramétriques
Cette deuxième édition de Statistiques avec Excel comporte près de 150 pages supplémentaires sur les tests en statistiques non paramétriques (tests de Kolmogorov, des séquences, de la médiane, du signe, etc.), utilisés notamment pour des échantillons de petite taille où les conditions de normalité ne sont pas respectées, mais également pour des variables de type ordinal : mentions à un examen, scores à une épreuve...
* A qui s'adresse cet ouvrage ?
- À tout scientifique devant analyser les caractéristiques des populations : biologiste, médecin, économiste, sociologue, mathématicien, ingénieur...
- Aux étudiants suivant un cours de statistiques et souhaitant le conforter par des travaux pratiques.
Sur le CD-Rom offert avec ce livre: Tous les exemples et classeurs modèles.
Biographie de l'auteur
Jean-Pierre Georgin, maître de conférences en mathématiques et statistiques, et Michel Gouet, professeur de physique spécialisé dans l'instrumentation et chercheur en physique des matériaux, développent depuis plusieurs années, au sein de l'université Paris Val de Marne, l'utilisation des tableurs comme support de leurs travaux pratiques respectifs.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00361 004-136.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Stratégie de contenu et conception web : les étapes à suivre pour bien démarrer Type de document : texte imprimé Auteurs : Sébastien Desbenoit, Auteur Editeur : Saint-Herblain : ENI éd. Année de publication : cop. 2013 Collection : Objectif web, ISSN 2263-3626 Importance : 1 vol. (174 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-8033-1 Note générale : Index Langues : Français (fre) Mots-clés : Stratégie contenu conception web Index. décimale : 006 Résumé : "Concevoir un site web n'est pas neutre : cela demande du temps, un investissement financier mais avant tout un investissement humain que ce soit pour la conception, la mise en ligne et l'entretien du site dans le temps. Il est nécessaire de préparer, d'analyser les difficultés, les points forts, les points faibles et d'y aller progressivement. Ce livre s'adresse à toute personne, webmaster, chargé de communication, entrepreneur... devant participer à la conception d'un site web. Il a comme objectif de fournir au débutant une méthodologie de travail simple et efficace pour parvenir à mettre en place et à finaliser sans dommage un projet de conception web. La première étape consiste à se poser la question du pourquoi : quelles sont les raisons qui nous poussent à la conception de notre site ? Ensuite, nous étudierons les cibles de notre site afin d'élaborer la première arborescence, le plan du site. Nous irons ensuite dans le détail en définissant les différents types de contenus que nous envisageons d'intégrer dans notre site (textes, images, vidéos, animations…) mais aussi les services que nous souhaitons proposer à nos visiteurs (réseaux sociaux, partage, formulaires...). Il sera temps alors de hiérarchiser cette information en se basant sur les différents cheminements utilisateur menant nos visiteurs vers notre objectif ; pour ce faire, nous prendrons en compte la sémantique des contenus et le référencement du site. Une fois que le contenu du site et son organisation seront définis, nous pourrons mettre en place l'interface utilisateur. Afin de valider tous ces éléments, nous établirons des prototypes en tenant compte des différents supports disponibles aujourd'hui : tablette, smartphone, ordinateur... Nous aborderons ensuite le graphisme de l'interface (couleurs, styles, police...) afin de toujours mieux cibler nos visiteurs. Tout au long de ces pages, les principes théoriques énoncés sont illustrés par un exemple concret basé sur une société fictive appelée Celerity dont vous suivrez pas-à-pas la conception du site." Stratégie de contenu et conception web : les étapes à suivre pour bien démarrer [texte imprimé] / Sébastien Desbenoit, Auteur . - Saint-Herblain : ENI éd., cop. 2013 . - 1 vol. (174 p.) : ill., couv. ill. en coul. ; 21 cm. - (Objectif web, ISSN 2263-3626) .
ISBN : 978-2-7460-8033-1
Index
Langues : Français (fre)
Mots-clés : Stratégie contenu conception web Index. décimale : 006 Résumé : "Concevoir un site web n'est pas neutre : cela demande du temps, un investissement financier mais avant tout un investissement humain que ce soit pour la conception, la mise en ligne et l'entretien du site dans le temps. Il est nécessaire de préparer, d'analyser les difficultés, les points forts, les points faibles et d'y aller progressivement. Ce livre s'adresse à toute personne, webmaster, chargé de communication, entrepreneur... devant participer à la conception d'un site web. Il a comme objectif de fournir au débutant une méthodologie de travail simple et efficace pour parvenir à mettre en place et à finaliser sans dommage un projet de conception web. La première étape consiste à se poser la question du pourquoi : quelles sont les raisons qui nous poussent à la conception de notre site ? Ensuite, nous étudierons les cibles de notre site afin d'élaborer la première arborescence, le plan du site. Nous irons ensuite dans le détail en définissant les différents types de contenus que nous envisageons d'intégrer dans notre site (textes, images, vidéos, animations…) mais aussi les services que nous souhaitons proposer à nos visiteurs (réseaux sociaux, partage, formulaires...). Il sera temps alors de hiérarchiser cette information en se basant sur les différents cheminements utilisateur menant nos visiteurs vers notre objectif ; pour ce faire, nous prendrons en compte la sémantique des contenus et le référencement du site. Une fois que le contenu du site et son organisation seront définis, nous pourrons mettre en place l'interface utilisateur. Afin de valider tous ces éléments, nous établirons des prototypes en tenant compte des différents supports disponibles aujourd'hui : tablette, smartphone, ordinateur... Nous aborderons ensuite le graphisme de l'interface (couleurs, styles, police...) afin de toujours mieux cibler nos visiteurs. Tout au long de ces pages, les principes théoriques énoncés sont illustrés par un exemple concret basé sur une société fictive appelée Celerity dont vous suivrez pas-à-pas la conception du site." Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei10496/3 006-311.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10497/3 006-311.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10489/3 006-311.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Stratégie et ingénierie de la sécurité des réseaux Type de document : texte imprimé Auteurs : Solange Ghernaouti-H©lie (1958-....), ; Michel Feneyrol, Editeur : Paris : InterÉditions Année de publication : 1998. Collection : Informatiques. S©rie R©seaux et t©l©coms, ISSN 1622-5694. Importance : 191 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-82945-1 Langues : Français (fre) Mots-clés : Stratégie ingénierie sécurité réseaux Index. décimale : 004 Stratégie et ingénierie de la sécurité des réseaux [texte imprimé] / Solange Ghernaouti-H©lie (1958-....), ; Michel Feneyrol, . - Paris : InterÉditions, 1998. . - 191 p. ; 25 cm.. - (Informatiques. S©rie R©seaux et t©l©coms, ISSN 1622-5694.) .
ISBN : 978-2-225-82945-1
Langues : Français (fre)
Mots-clés : Stratégie ingénierie sécurité réseaux Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei00423 004-169.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00424 004-169.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00427 004-169.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00425 004-169.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00426 004-169.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structuration des données informatiques : initiation et applications Type de document : texte imprimé Auteurs : Bertrand Ibrahim, Auteur ; Christian Pellegrini (1945-....), Auteur Editeur : Paris : Dunod-Bordas Année de publication : 1989 Collection : Dunod informatique, ISSN 0291-1604 num. 39 Importance : 253 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-018679-1 Note générale : Bibliogr., 2 p. Langues : Français (fre) Index. décimale : 005 Structuration des données informatiques : initiation et applications [texte imprimé] / Bertrand Ibrahim, Auteur ; Christian Pellegrini (1945-....), Auteur . - Paris : Dunod-Bordas, 1989 . - 253 p. : ill., couv. ill. en coul. ; 24 cm. - (Dunod informatique, ISSN 0291-1604; 39) .
ISBN : 978-2-04-018679-1
Bibliogr., 2 p.
Langues : Français (fre)
Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00940 005-81.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00941 005-81.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structure des ordinateurs : Autour du professeur Type de document : texte imprimé Auteurs : Koudil M., Auteur Editeur : OPU:Alger Année de publication : 2000 Importance : 325 p. Format : 22 x 15 cm. ISBN/ISSN/EAN : 978-9961-0-0429-6 Langues : Français (fre) Mots-clés : ordinateurs Index. décimale : 006 Structure des ordinateurs : Autour du professeur [texte imprimé] / Koudil M., Auteur . - [S.l.] : OPU:Alger, 2000 . - 325 p. ; 22 x 15 cm.
ISBN : 978-9961-0-0429-6
Langues : Français (fre)
Mots-clés : ordinateurs Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (28)
Code-barres Cote Support Localisation Section Disponibilité fsei02361 006-132.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02370 006-132.10 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02371 006-132.11 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02372 006-132.12 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02373 006-132.13 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02374 006-132.14 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02375 006-132.15 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02376 006-132.16 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02377 006-132.17 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02378 006-132.18 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02379 006-132.19 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02362 006-132.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02380 006-132.20 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02381 006-132.21 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei03783 006-132.22 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei08307 006-132.23 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00918 006-132.24 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00919 006-132.25 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00920 006-132.26 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00921 006-132.27 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00922 006-132.28 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02363 006-132.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02364 006-132.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02365 006-132.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02366 006-132.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02367 006-132.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02368 006-132.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02369 006-132.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structured assembly languages for IBM computers Type de document : texte imprimé Auteurs : Johnson David L., Auteur Editeur : Mayfield Publishing Année de publication : 1983 Importance : 614 p Présentation : ill Format : 27.5 x 21 cm ISBN/ISSN/EAN : 978-0-87484-658-4 Langues : Français (fre) Mots-clés : IBM computers structured programming assembly languages Index. décimale : 004 Structured assembly languages for IBM computers [texte imprimé] / Johnson David L., Auteur . - [S.l.] : Mayfield Publishing, 1983 . - 614 p : ill ; 27.5 x 21 cm.
ISBN : 978-0-87484-658-4
Langues : Français (fre)
Mots-clés : IBM computers structured programming assembly languages Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00291 004-98.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structures des bases de données Type de document : texte imprimé Auteurs : Leonard M., Auteur Editeur : Paris : Dunod Année de publication : 1988 Importance : 305 p. Format : 23 X 16 cm. ISBN/ISSN/EAN : 978-2-04-016407-2 Langues : Français (fre) Mots-clés : bases de données Index. décimale : 004 Structures des bases de données [texte imprimé] / Leonard M., Auteur . - Paris : Dunod, 1988 . - 305 p. ; 23 X 16 cm.
ISBN : 978-2-04-016407-2
Langues : Français (fre)
Mots-clés : bases de données Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00475 004-191.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00476 004-191.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structures de données algorithmiques preuve de programmes : Tec 611 Type de document : texte imprimé Auteurs : Ghoul Said, Auteur Editeur : OPU:Alger Année de publication : 1990 Importance : 144 p. Format : 27 X 19 cm. Langues : Français (fre) Mots-clés : Algorithmiques Index. décimale : 004 Structures de données algorithmiques preuve de programmes : Tec 611 [texte imprimé] / Ghoul Said, Auteur . - [S.l.] : OPU:Alger, 1990 . - 144 p. ; 27 X 19 cm.
Langues : Français (fre)
Mots-clés : Algorithmiques Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei01123 004-26.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01118 004-26.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01119 004-26.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01120 004-26.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structures de données avancées avec la STL : programmation orientée objet en C++ Type de document : texte imprimé Auteurs : Philippe Gabrini, Auteur Editeur : Paris : Dunod Année de publication : cop. 2005 Collection : Sciences sup, ISSN 1636-2217 Importance : 1 vol. (X-438 p.) Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-10-049523-8 Note générale : STL = Standard template library. La couv. porte en plus : "licence, écoles d'ingénieurs, IUT"
Bibliogr. p. 428-431. IndexLangues : Français (fre) Mots-clés : Structures de données Index. décimale : 005 Résumé : Destiné aux étudiants de premier cycle en informatique ainsi qu'aux développeurs, ce manuel a trois objectifs : le premier est de présenter des structures de données avancées ; le deuxième, d'introduire la programmation orientée objet telle qu'elle a été définie en C++ ; et le troisième, de présenter un certain nombre d'algorithmes classiques liés aux structures de données. Après avoir exposé les concepts de base de la programmation et des aspects orientés objet de C++, le livre présente en particulier : un rappel sur l'analyse des algorithmes (notation grand O), des méthodes de tri interne efficaces, un rappel sur les structures de données linéaires, les structures de données et les algorithmes de la STL (Standard Template Library), les divers algorithmes de recherche dans une chaîne de caractères, diverses sortes d'arborescences (arbres binaires de recherche, arbres équilibrés AVL, arbres Rouge-Noir), les graphes et les algorithmes de Prim, de Warshall, de Floyd, de Dijkstra, de Sharir, et de Kruskal, le type de données abstrait Table accompagné de la technique du hachage et des méthodes qui lui sont associées pour la résolution des collisions. Structures de données avancées avec la STL : programmation orientée objet en C++ [texte imprimé] / Philippe Gabrini, Auteur . - Paris : Dunod, cop. 2005 . - 1 vol. (X-438 p.) : ill., couv. ill. en coul. ; 23 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-049523-8
STL = Standard template library. La couv. porte en plus : "licence, écoles d'ingénieurs, IUT"
Bibliogr. p. 428-431. Index
Langues : Français (fre)
Mots-clés : Structures de données Index. décimale : 005 Résumé : Destiné aux étudiants de premier cycle en informatique ainsi qu'aux développeurs, ce manuel a trois objectifs : le premier est de présenter des structures de données avancées ; le deuxième, d'introduire la programmation orientée objet telle qu'elle a été définie en C++ ; et le troisième, de présenter un certain nombre d'algorithmes classiques liés aux structures de données. Après avoir exposé les concepts de base de la programmation et des aspects orientés objet de C++, le livre présente en particulier : un rappel sur l'analyse des algorithmes (notation grand O), des méthodes de tri interne efficaces, un rappel sur les structures de données linéaires, les structures de données et les algorithmes de la STL (Standard Template Library), les divers algorithmes de recherche dans une chaîne de caractères, diverses sortes d'arborescences (arbres binaires de recherche, arbres équilibrés AVL, arbres Rouge-Noir), les graphes et les algorithmes de Prim, de Warshall, de Floyd, de Dijkstra, de Sharir, et de Kruskal, le type de données abstrait Table accompagné de la technique du hachage et des méthodes qui lui sont associées pour la résolution des collisions. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01985 005-519.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01984 005-519.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : DL 2011 Collection : Collection Télécom, ISSN 2109-8204 Importance : 1 vol. (XVI-438 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Note générale : Bibliogr. p. 417-423. Index Langues : Français (fre) Mots-clés : méthodes formelles Index. décimale : 006 Résumé : Ce livre a pour thème principal l'étude des structures de données. II s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données et des méthodes formelles. Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, DL 2011 . - 1 vol. (XVI-438 p.) : ill., couv. ill. ; 24 cm. - (Collection Télécom, ISSN 2109-8204) .
ISBN : 978-2-8178-0199-5
Bibliogr. p. 417-423. Index
Langues : Français (fre)
Mots-clés : méthodes formelles Index. décimale : 006 Résumé : Ce livre a pour thème principal l'étude des structures de données. II s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données et des méthodes formelles. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei10160 006-286.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10159 006-286.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10158 006-286.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10157 006-286.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Studio 8
Titre : Studio 8 : training from the source Type de document : texte imprimé Auteurs : Shaowen Bardzell, Auteur ; Jeffrey Bardzell, Auteur ; Bob Flynn, Auteur ; Patrick Fabre (1971-....), Traducteur Editeur : Paris : Peachpit press Année de publication : impr. 2006 Importance : X-502 p. Présentation : ill., couv. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7440-8176-7 Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Studio Index. décimale : 004 Studio 8 : training from the source [texte imprimé] / Shaowen Bardzell, Auteur ; Jeffrey Bardzell, Auteur ; Bob Flynn, Auteur ; Patrick Fabre (1971-....), Traducteur . - Paris : Peachpit press, impr. 2006 . - X-502 p. : ill., couv. en coul. ; 23 cm.
ISBN : 978-2-7440-8176-7
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Studio Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00638 004-220.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00642 004-220.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Sureté de fonctionnement des System informatiques : avec exercices corrigés Type de document : texte imprimé Auteurs : Jean-Claude Geffroy, ; Gilles Motet, ; Ren© Joly (1948-....), ; Jean-Alain Hernandez, Editeur : Paris : Inter ditions Année de publication : cop. 1998 Collection : Informatiques. S©rie Mod©lisation-conception Sous-collection : Mod©lisation, conception. Importance : 1 vol. (XIV-349 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-83417-2 Langues : Français (fre) Mots-clés : Sureté fonctionnement System informatiques Index. décimale : 004 Résumé : L'ouvrage La maîtrise des fautes et de leurs effets constitue un enjeu fondamental du développement et de l'utilisation des systèmes informatiques. Cet ouvrage présente une vue complète et unifiée des problèmes et solutions de la sûreté de fonctionnement de ces systèmes, tant au niveau matériel que logiciel. L'objectif de cet ouvrage est double : - maîtriser les bases théoriques de la sûreté de fonctionnement indépendamment du matériel employé et du domaine d'application rencontré ; - mettre en pratique les techniques d'évitement, de suppression et de tolérance aux fautes. Sureté de fonctionnement des System informatiques : avec exercices corrigés [texte imprimé] / Jean-Claude Geffroy, ; Gilles Motet, ; Ren© Joly (1948-....), ; Jean-Alain Hernandez, . - Paris : Inter ditions, cop. 1998 . - 1 vol. (XIV-349 p.) : ill., couv. ill. en coul. ; 25 cm. - (Informatiques. S©rie Mod©lisation-conception. Mod©lisation, conception.) .
ISBN : 978-2-225-83417-2
Langues : Français (fre)
Mots-clés : Sureté fonctionnement System informatiques Index. décimale : 004 Résumé : L'ouvrage La maîtrise des fautes et de leurs effets constitue un enjeu fondamental du développement et de l'utilisation des systèmes informatiques. Cet ouvrage présente une vue complète et unifiée des problèmes et solutions de la sûreté de fonctionnement de ces systèmes, tant au niveau matériel que logiciel. L'objectif de cet ouvrage est double : - maîtriser les bases théoriques de la sûreté de fonctionnement indépendamment du matériel employé et du domaine d'application rencontré ; - mettre en pratique les techniques d'évitement, de suppression et de tolérance aux fautes. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei00213 004-56.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00215 004-56.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00214 004-56.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible