Détail de l'indexation
004 مؤلفات المكتبة في التكشيف 004.0 (5)
Affiner la recherche Interroger des sources externesInformatique théorique
عنوان : Informatique théorique : problèmes et exercices corrigés نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : 2003 مجموعة : Sciences sup عدد الصفحات : 246 p. Ill. : ill., couv. ill. en coul. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-10-007281-1 نقطة عامة : La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"
Glossaire. Indexترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Problèmes et exercices تكشيف : 004.0 خلاصة : L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution. Informatique théorique : problèmes et exercices corrigés [نص مطبوع ] . - , 2003 . - 246 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-007281-1
La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"
Glossaire. Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Problèmes et exercices تكشيف : 004.0 خلاصة : L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution. حجز
حجز هده الوثيقة
نسخ(2)
Barcode Call number Media type Location Section وضع FIN 6728 21-09-E-66/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 6729 21-09-E-66/2 Livre Bibliothèque Universitaire Centrale MI جاهز
عنوان : Logique élémentaire : cours de base pour informaticien نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : cop. 1998 Autre Editeur : مجموعة : Collection Informatique عدد الصفحات : VII-430 p. Ill. : ill. الأبعاد : 24 cm الماديات المرافقة : formulaire de logique ISBN/ISSN/EAN : 978-2-88074-360-4 نقطة عامة : Bibliogr. p. 423-425. Index ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Logique symbolique et mathématique تكشيف : 004.0 Logique élémentaire : cours de base pour informaticien [نص مطبوع ] . - : , cop. 1998 . - VII-430 p. : ill. ; 24 cm + formulaire de logique. - (Collection Informatique) .
ISBN : 978-2-88074-360-4
Bibliogr. p. 423-425. Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Logique symbolique et mathématique تكشيف : 004.0 نسخ(1)
Barcode Call number Media type Location Section وضع FIN 5847 21-12-E-03/01 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة
عنوان : Mathématiques concrètes : fondations pour l'informatique نوع الوثيقة : نص مطبوع تنويه النشر : 2e éd. ناشر : تاريخ النشر : 2003 عدد الصفحات : XIV-687 p. Ill. : ill., couv. ill. en coul. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-7117-4824-2 نقطة عامة : Bibliogr. p. 639-667. Index ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Mathématiques تكشيف : 004.0 Mathématiques concrètes : fondations pour l'informatique [نص مطبوع ] . - 2e éd. . - , 2003 . - XIV-687 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7117-4824-2
Bibliogr. p. 639-667. Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Mathématiques تكشيف : 004.0 حجز
حجز هده الوثيقة
نسخ(3)
Barcode Call number Media type Location Section وضع FIN 5565 21-09-E16/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 5566 21-09-E16/2 Livre Bibliothèque Universitaire Centrale MI جاهز FIN 5567 21-09-E16/3 Livre Bibliothèque Universitaire Centrale MI جاهز
عنوان : Mathématiques discrètes et informatique نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : 1992 مجموعة : Logique mathématiques informatique, ISSN 0995-2179 num. 7 عدد الصفحات : XIII-412 p. Ill. : ill. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-225-82621-4 نقطة عامة : Bibliogr. p. 405-406. Index ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Mathématiques Algorithmes Complexité de calcul ( informatique) Graphes , Théorie des تكشيف : 004.0 Mathématiques discrètes et informatique [نص مطبوع ] . - , 1992 . - XIII-412 p. : ill. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 7) .
ISBN : 978-2-225-82621-4
Bibliogr. p. 405-406. Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Informatique Mathématiques Algorithmes Complexité de calcul ( informatique) Graphes , Théorie des تكشيف : 004.0 حجز
حجز هده الوثيقة
نسخ(2)
Barcode Call number Media type Location Section وضع FIN 5568 21-09-E-17/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 5569 21-09-E-17/2 Livre Bibliothèque Universitaire Centrale MI جاهز
عنوان : MFI'03 : modèles formels de l'interaction ; actes des secondes Journées francophones [sur les modèles formels de l'interaction], [20-22] mai 2003, Lille نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : 2003 عدد الصفحات : 316 p. Ill. : ill., couv. ill. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-85428-622-9 نقطة عامة : Textes des communications en anglais et en français
Notes bibliogr. Index. Résumés en français et anglaisترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Interaction homme-ordinateur Congrès تكشيف : 004.0 MFI'03 : modèles formels de l'interaction ; actes des secondes Journées francophones [sur les modèles formels de l'interaction], [20-22] mai 2003, Lille [نص مطبوع ] . - , 2003 . - 316 p. : ill., couv. ill. ; 24 cm.
ISBN : 978-2-85428-622-9
Textes des communications en anglais et en français
Notes bibliogr. Index. Résumés en français et anglais
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Interaction homme-ordinateur Congrès تكشيف : 004.0 حجز
حجز هده الوثيقة
نسخ(5)
Barcode Call number Media type Location Section وضع FIN 6302 21-09-E-62/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 6303 21-09-E-62/2 Livre Bibliothèque Universitaire Centrale MI جاهز FIN 6304 21-09-E-62/3 Livre Bibliothèque Universitaire Centrale MI جاهز FIN 6305 21-09-E-62/4 Livre Bibliothèque Universitaire Centrale MI جاهز FIN 6306 21-09-E-62/5 Livre Bibliothèque Universitaire Centrale MI جاهز
