الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'automates'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Concepts fondamentaux de l'informatique / Alfred Vaino Aho
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 Logique(s), langages formels et complexité pour l'informatique / Narendra Jussien
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