Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail d'une collection
Documents disponibles dans la sous-collection
Faire une suggestion Affiner la rechercheLogique et fondements de l'informatique / Richard Lassaigne ; Michel De Rougemont
Titre : Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul Type de document : texte imprimé Auteurs : Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur Editeur : Paris : Hermès Science Année de publication : 1993 Collection : Sous-collection : Série Informatique Importance : VIII-248 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-380-6 Note générale : Bibliogr.- Index Langues : Français (fre) Mots-clés : Fonctions calculables
Décidabilité (logique mathématique)
Informatique -- Mathématiques
Lambda-calcul
Complexité de calcul (informatique)
Logique mathématiqueIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Note de contenu : Sommaire:
*Logique propositionnelle
*Systèmes de déduction
*Logique du premier ordre
*Déduction et complétude de l logique du premier ordre
*Résolution et programmation logique
*Les modèles de calcul
...Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul [texte imprimé] / Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur . - , 1993 . - VIII-248 p. : ill. ; 24 cm.. - (. Série Informatique) .
ISBN : 978-2-86601-380-6
Bibliogr.- Index
Langues : Français (fre)
Mots-clés : Fonctions calculables
Décidabilité (logique mathématique)
Informatique -- Mathématiques
Lambda-calcul
Complexité de calcul (informatique)
Logique mathématiqueIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique. Note de contenu : Sommaire:
*Logique propositionnelle
*Systèmes de déduction
*Logique du premier ordre
*Déduction et complétude de l logique du premier ordre
*Résolution et programmation logique
*Les modèles de calcul
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042706 681.3 LAS Papier Bibliothèque Centrale Informatique Disponible
Titre : Compression et cryptage en informatique Type de document : texte imprimé Auteurs : Xavier Marsault, Auteur Mention d'édition : 2 éd Editeur : Paris : Hermès Science Année de publication : 1995 Collection : Traité des nouvelles technologies Sous-collection : Série Informatique Importance : 195 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-342-4 Note générale : Bibliogr. p. 189-190. Index Langues : Français (fre) Mots-clés : Cryptographie -- Informatique.
Données -- Compression (informatique).
Chiffrement (informatique).Index. décimale : 681.3.053 Problèmes de la conversion,du codage et du décodage. Résumé : La compression des images et des sons est devenue un enjeu technologique,industriel et commercial majeur au plan international avec l'émergence de la technologie multimédia.D'un autre coté,la cryptologie informatique professionnelle,non ludique,est un phénomène récent qui répond à la possibilité désormais offerte à tous d'accéder au plus grand nombre d'informations par le biais des réseaux publics de transmission de données,et donc,aux problèmes de sécurisation qui en découlent. Note de contenu : Sommaire:
-Partie 1: Compression des information
*Chap.1: Information et théorie de l'information
*Chap.2: Généralités et premiers exemples
*Chap.3: Les algorithmes de codage statistique
...
-Partie 2: Cryptage des informations
*Chap.8: Introduction à la cryptographie et à sa sécurité
*Chap.9: Crypto-systèmes à clé secrètes
*Chap.10: Le standard des algorithmes de cryptage: le DES d'IBM
...Compression et cryptage en informatique [texte imprimé] / Xavier Marsault, Auteur . - 2 éd . - , 1995 . - 195 p. : ill. ; 24 cm. - (. Série Informatique) .
ISBN : 978-2-86601-342-4
Bibliogr. p. 189-190. Index
Langues : Français (fre)
Mots-clés : Cryptographie -- Informatique.
Données -- Compression (informatique).
Chiffrement (informatique).Index. décimale : 681.3.053 Problèmes de la conversion,du codage et du décodage. Résumé : La compression des images et des sons est devenue un enjeu technologique,industriel et commercial majeur au plan international avec l'émergence de la technologie multimédia.D'un autre coté,la cryptologie informatique professionnelle,non ludique,est un phénomène récent qui répond à la possibilité désormais offerte à tous d'accéder au plus grand nombre d'informations par le biais des réseaux publics de transmission de données,et donc,aux problèmes de sécurisation qui en découlent. Note de contenu : Sommaire:
-Partie 1: Compression des information
*Chap.1: Information et théorie de l'information
*Chap.2: Généralités et premiers exemples
*Chap.3: Les algorithmes de codage statistique
...
-Partie 2: Cryptage des informations
*Chap.8: Introduction à la cryptographie et à sa sécurité
*Chap.9: Crypto-systèmes à clé secrètes
*Chap.10: Le standard des algorithmes de cryptage: le DES d'IBM
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042703 681.3.053 MAR Papier Bibliothèque Centrale Informatique Disponible
Titre : Objets et bases de données, le SGBD O2 Type de document : texte imprimé Auteurs : Michel Adiba, Auteur ; Christine Collet, Auteur Editeur : Paris : Hermès Science Année de publication : 1993 Collection : Traité des nouvelles technologies Sous-collection : Série Informatique Importance : 542 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-368-4 Note générale : Bibliogr.-Index Langues : Français (fre) Mots-clés : Bases données SGBD langage programmation Index. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Cet ouvrage décrit la nouvelle génération de systèmes de gestion de bases de données (SGBD) qui es caractérisée par la fusion de deux domaines principaux, à savoir, les bases de données et les langages de programmation à objets.
Ces systèmes intègrent également les techniques les plus récentes en matière d'interfaces homme-machine et de systèmes distribués (architecture client-serveur). Les principales notions qui définissent des SGBD orientés vers les objets (ou SGBDOO) sont examinées minutieusement grace au SGBD o2Note de contenu : Sommaire:
*Chap.1: Objets et bases de données: visite guidée
*Chap.2: Modélisation des objets
*Chap.3: Composants du SGBD O2
*Chap.4: Langage de requêtes O2SQL
*Chap.5: Programmation des applications
*Chap.6: Générateur d'interfaces O2Look
*Chap.7: Point de vue l'administrateurObjets et bases de données, le SGBD O2 [texte imprimé] / Michel Adiba, Auteur ; Christine Collet, Auteur . - , 1993 . - 542 p. : ill. ; 24 cm. - (. Série Informatique) .
ISBN : 978-2-86601-368-4
Bibliogr.-Index
Langues : Français (fre)
Mots-clés : Bases données SGBD langage programmation Index. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Cet ouvrage décrit la nouvelle génération de systèmes de gestion de bases de données (SGBD) qui es caractérisée par la fusion de deux domaines principaux, à savoir, les bases de données et les langages de programmation à objets.
Ces systèmes intègrent également les techniques les plus récentes en matière d'interfaces homme-machine et de systèmes distribués (architecture client-serveur). Les principales notions qui définissent des SGBD orientés vers les objets (ou SGBDOO) sont examinées minutieusement grace au SGBD o2Note de contenu : Sommaire:
*Chap.1: Objets et bases de données: visite guidée
*Chap.2: Modélisation des objets
*Chap.3: Composants du SGBD O2
*Chap.4: Langage de requêtes O2SQL
*Chap.5: Programmation des applications
*Chap.6: Générateur d'interfaces O2Look
*Chap.7: Point de vue l'administrateurExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042983 681.3.02 ADI Papier Bibliothèque Centrale Informatique Disponible
Titre : UNIX : utilisation, administration système et réseau Type de document : texte imprimé Auteurs : Christian Pélissier, Auteur Mention d'édition : 2 éd. Editeur : Paris : Hermès Science Année de publication : 1995 Collection : Traité des nouvelles technologies Sous-collection : Série Informatique Importance : 794 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-449-0 Note générale : Bibliogr.- Index Langues : Français (fre) Mots-clés : UNIX (système d'exploitation des ordinateurs) Index. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : UNIX, utilisation, administration système et réseau constitue l'ouvrage de référence en langue française sur le système UNIX du point de vue de l'utilisateur et de l'administrateur. Cette nouvelle édition, qui inclut les versions les plus récentes du système (System V R4 et BSD 4.4), distingue désormais trois champs d'étude :
- Utilisation du système, après un historique situant l'origine des nombreuses versions du système, présente les principales commandes que doit connaître l'utilisateur et les illustre avec des exemples simples.
- Administration du système aidera l'administrateur dans sa tâche dificile de gérer un parc de machines hétérogènes. Les différences entre constructeurs sont à ce titre abondamment décrites.
- Enfin, à l'époque d'Internet et bientôt celle des autoroutes électroniques, Administration du réseau détaille les protocoles Internet TCP/IP, le courrier électronique, NFS, NIS, NIS+, X-Window et conclut sur l'aspect essentiel de la sécurisation.Note de contenu : Sommaire:
*Utilisation du système
-Introduction
-Le login sur un système Unix
...
*Administration du système
-Déclaration des utilisateurs
-L'environnement utilisateur
...UNIX : utilisation, administration système et réseau [texte imprimé] / Christian Pélissier, Auteur . - 2 éd. . - , 1995 . - 794 p. : ill. ; 24 cm.. - (. Série Informatique) .
ISBN : 978-2-86601-449-0
Bibliogr.- Index
Langues : Français (fre)
Mots-clés : UNIX (système d'exploitation des ordinateurs) Index. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : UNIX, utilisation, administration système et réseau constitue l'ouvrage de référence en langue française sur le système UNIX du point de vue de l'utilisateur et de l'administrateur. Cette nouvelle édition, qui inclut les versions les plus récentes du système (System V R4 et BSD 4.4), distingue désormais trois champs d'étude :
- Utilisation du système, après un historique situant l'origine des nombreuses versions du système, présente les principales commandes que doit connaître l'utilisateur et les illustre avec des exemples simples.
- Administration du système aidera l'administrateur dans sa tâche dificile de gérer un parc de machines hétérogènes. Les différences entre constructeurs sont à ce titre abondamment décrites.
- Enfin, à l'époque d'Internet et bientôt celle des autoroutes électroniques, Administration du réseau détaille les protocoles Internet TCP/IP, le courrier électronique, NFS, NIS, NIS+, X-Window et conclut sur l'aspect essentiel de la sécurisation.Note de contenu : Sommaire:
*Utilisation du système
-Introduction
-Le login sur un système Unix
...
*Administration du système
-Déclaration des utilisateurs
-L'environnement utilisateur
...Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042702 681.3.02 PEL Papier Bibliothèque Centrale Informatique Disponible
