الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail d'une collection
|
|
Documents disponibles dans la collection
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
Titre : Algorithmique algébrique : avec exercices corrigés Type de document : texte imprimé Auteurs : Patrice Naudin, Auteur ; Claude Quitté, Auteur Editeur : Paris : Masson Année de publication : 1992 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 8 Importance : XV-469 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82703-7 Prix : 280 F Note générale : Bibliogr. p. 459-464. Index Langues : Français (fre) Mots-clés : algorithmique et programmation ada - modules qur les anneaux principaux Index. décimale : 005.1 Algorithmique algébrique : avec exercices corrigés [texte imprimé] / Patrice Naudin, Auteur ; Claude Quitté, Auteur . - Paris : Masson, 1992 . - XV-469 p. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 8) .
ISBN : 978-2-225-82703-7 : 280 F
Bibliogr. p. 459-464. Index
Langues : Français (fre)
Mots-clés : algorithmique et programmation ada - modules qur les anneaux principaux Index. décimale : 005.1 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-002884 512-98.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt
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, ISSN 0995-2179 num. 6 Importance : IX-166 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82567-5 Prix : 140 F Note générale : Bibliogr. p. 163. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : introduction aux langages formels grammaires et automates, décidabilité et preuve Index. décimale : 004 Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, Auteur . - Paris : Masson, 1991 . - IX-166 p. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 6) .
ISBN : 978-2-225-82567-5 : 140 F
Bibliogr. p. 163. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : introduction aux langages formels grammaires et automates, décidabilité et preuve Index. décimale : 004 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-000441 004-058.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt
