Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail d'une collection
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheCodes correcteurs / Alain Poli
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.236-1 005.1.236-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 511.3-5-1 511.3-5-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-5-2 511.3-5-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-5-3 511.3-5-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-5-4 511.3-5-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
Titre : Cryptologie contemporaine Type de document : texte imprimé Auteurs : Gilles Brassard, Auteur ; Claude Goutier, Traducteur Editeur : Paris : Masson Année de publication : 1993 Collection : Logique, mathématiques, informatique Importance : X-124 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-83970-2 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : authentification. sécurité donnée. clé accès. Cryptographie Cryptologie contemporaine [texte imprimé] / Gilles Brassard, Auteur ; Claude Goutier, Traducteur . - Paris : Masson, 1993 . - X-124 p. ; 24 cm.. - (Logique, mathématiques, informatique) .
ISBN : 978-2-225-83970-2
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : authentification. sécurité donnée. clé accès. Cryptographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.235-1 005.1.235-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible
Titre : Exercices sur les codes correcteurs : 600 exercices corrigés Type de document : texte imprimé Auteurs : Alain Poli, Auteur ; Georges Cullmann, Auteur Editeur : Paris : Masson Année de publication : 1995 Collection : Logique, mathématiques, informatique Importance : XIV-230 p. Présentation : fig Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-84834-6 Langues : Français Catégories : MATH:510 Generalites,dictionnaire,seminaire,proceeding Mots-clés : Informatique Mathématiques Codes correcteurs d'erreurs(théorie de l'information) Problèmes et exercices Exercices sur les codes correcteurs : 600 exercices corrigés [texte imprimé] / Alain Poli, Auteur ; Georges Cullmann, Auteur . - Paris : Masson, 1995 . - XIV-230 p. : fig ; 24 cm.. - (Logique, mathématiques, informatique) .
ISBN : 978-2-225-84834-6
Langues : Français
Catégories : MATH:510 Generalites,dictionnaire,seminaire,proceeding Mots-clés : Informatique Mathématiques Codes correcteurs d'erreurs(théorie de l'information) Problèmes et exercices Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 510.275-1 510.275-1 Livre interne BIBLIOTHEQUE CENTRALE Mathématique (bc) Disponible
Titre : Introduction aux méthodes de la cryptologie Type de document : texte imprimé Auteurs : Brian Beckett, Auteur ; Philippe Béguin, Traducteur ; Philippe Klein, Traducteur ; Éric Henault, Traducteur Editeur : Paris : Masson Année de publication : 1990 Collection : Logique, mathématiques, informatique Importance : 332 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81941-4 Note générale : Traduction de : Introduction to cryptology Langues : Français Langues originales : Anglais Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Chiffrement (informatique) Chiffrement des données (informatique) Cryptographie Introduction aux méthodes de la cryptologie [texte imprimé] / Brian Beckett, Auteur ; Philippe Béguin, Traducteur ; Philippe Klein, Traducteur ; Éric Henault, Traducteur . - Paris : Masson, 1990 . - 332 p. ; 24 cm.. - (Logique, mathématiques, informatique) .
ISBN : 978-2-225-81941-4
Traduction de : Introduction to cryptology
Langues : Français Langues originales : Anglais
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Chiffrement (informatique) Chiffrement des données (informatique) Cryptographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.234-1 005.1.234-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible
Titre : Systèmes formels : introduction à la logique et à la théorie des langages Type de document : texte imprimé Auteurs : Claude Benzaken, Auteur Editeur : Paris : Masson Année de publication : 1991 Collection : Logique, mathématiques, informatique Importance : 166 p Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82567-5 Note générale : Bibliogr. p. 163. Index
Langues : Français Mots-clés : Langages formels Logique mathématique Résumé : Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique. Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, Auteur . - Paris : Masson, 1991 . - 166 p ; 24 cm. - (Logique, mathématiques, informatique) .
ISBN : 978-2-225-82567-5
Bibliogr. p. 163. Index
Langues : Français
Mots-clés : Langages formels Logique mathématique Résumé : Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF 07.61.07 INF 07.61.07 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 511.3-5/1 511.3-5/1 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-5/2 511.3-5/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-7-1 511.3-7-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-7-2 511.3-7-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-7-3 511.3-7-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-7-4 511.3-7-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
