الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'automates' 




Titre : Concepts fondamentaux de l'informatique Type de document : texte imprimé Auteurs : Alfred Vaino Aho (1941-....), Auteur ; Jeffrey David Ullman, Auteur ; Xavier Cazin, Traducteur ; Ivon Gourhant, Traducteur ; Jean-Pierre Le Narzul, Traducteur Editeur : Paris : Dunod Année de publication : 1998 Collection : Sciences sup Sous-collection : Informatique Importance : 1 vol. (XVI-856 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-003127-6 Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : informatique modèles de données récurrence récursivité automates logique propositionnelle logique des prédicats Index. décimale : 005 Concepts fondamentaux de l'informatique [texte imprimé] / Alfred Vaino Aho (1941-....), Auteur ; Jeffrey David Ullman, Auteur ; Xavier Cazin, Traducteur ; Ivon Gourhant, Traducteur ; Jean-Pierre Le Narzul, Traducteur . - Paris : Dunod, 1998 . - 1 vol. (XVI-856 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup. Informatique) .
ISBN : 978-2-10-003127-6
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : informatique modèles de données récurrence récursivité automates logique propositionnelle logique des prédicats Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000566 005-183.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001060 005-183.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001061 005-183.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien (1973-....), Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2006 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (313 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1395-1 Note générale : Bibliogr. p. 301-303. Index Langues : Français (fre) Mots-clés : mathématiques appliquées logique langages formels informatique automates calculabilité complexité algorithmes Index. décimale : 005.1 Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien (1973-....), Auteur . - Paris : Hermès science publications-Lavoisier, impr. 2006 . - 1 vol. (313 p.) : ill. ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) .
ISBN : 978-2-7462-1395-1
Bibliogr. p. 301-303. Index
Langues : Français (fre)
Mots-clés : mathématiques appliquées logique langages formels informatique automates calculabilité complexité algorithmes Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité CF2-000618 005-232.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt F2-001138 005-232.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001139 005-232.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001140 005-232.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible