Détail de l'indexation
519 مؤلفات المكتبة في التكشيف 519.7 (4)
Affiner la recherche Interroger des sources externesAlgorithmes d'approximation
عنوان : Algorithmes d'approximation نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : DL 2006 مجموعة : Collection IRIS عدد الصفحات : 1 vol. (XX-427 p.) Ill. : ill., couv. ill. en coul. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-287-00677-7 نقطة عامة : Bibliogr. p. 399-415. Index الكلمة المفتاح : Algorithmes Optimisation mathématique تكشيف : 519.7 Algorithmes d'approximation [نص مطبوع ] . - , DL 2006 . - 1 vol. (XX-427 p.) : ill., couv. ill. en coul. ; 24 cm. - (Collection IRIS) .
ISBN : 978-2-287-00677-7
Bibliogr. p. 399-415. Index
الكلمة المفتاح : Algorithmes Optimisation mathématique تكشيف : 519.7 نسخ(0)
وضع أي نسخة
عنوان : Calculateurs, calculs, calculabilité نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : impr. 2007 مجموعة : Sciences sup عدد الصفحات : 1 vol. (XV-204 p.) Ill. : ill., couv. ill. en coul. الأبعاد : 24 cm ISBN/ISSN/EAN : 978-2-10-051588-2 نقطة عامة : La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Indexترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Ordinateurs Programmation Fonctions calculables تكشيف : 519.7 خلاصة : Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... Calculateurs, calculs, calculabilité [نص مطبوع ] . - , impr. 2007 . - 1 vol. (XV-204 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-051588-2
La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Ordinateurs Programmation Fonctions calculables تكشيف : 519.7 خلاصة : Il existe en informatique des limites qui sont aussi fondamentales que celles connues dans d'autres disciplines, par exemple la vitesse de la lumière ou le second principe de la thermodynamique. L'objectif de cet ouvrage est de jalonner la frontière qui ne peut être franchie par les calculateurs et de montrer comment ces limites peuvent être prouvées formellement. Pour atteindre ce but tout en restant d'une lecture accessible les auteurs font l'hypothèse que l'étudiant connaît un peu de logique, de théorie des ensembles, d'analyse et de programmation. Rédigé dans un style aussi simple que possible les auteurs transmettent avec clarté des notions d'histoire des sciences en décrivant les travaux de chercheurs comme Turing, Gödel, Kleene, von Neumann... حجز
حجز هده الوثيقة
نسخ(2)
Barcode Call number Media type Location Section وضع FIN 6259 21-09-E-59/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 6260 21-09-E-59/2 Livre Bibliothèque Universitaire Centrale MI جاهز
عنوان : Éléments d'analyse de données نوع الوثيقة : نص مطبوع ناشر : تاريخ النشر : 1982 مجموعة : Dunod décision عدد الصفحات : 462 p. ISBN/ISSN/EAN : 978-2-04-015430-1 ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Analyse des données Mathématiques Informatique تكشيف : 519.7 Éléments d'analyse de données [نص مطبوع ] . - , 1982 . - 462 p.. - (Dunod décision) .
ISBN : 978-2-04-015430-1
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Analyse des données Mathématiques Informatique تكشيف : 519.7 حجز
حجز هده الوثيقة
نسخ(2)
Barcode Call number Media type Location Section وضع FIN 4836 21-05-E-15/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة FIN 4837 21-05-E-15/2 Livre Bibliothèque Universitaire Centrale MI جاهز
عنوان : Nonlinear programming : theory and algorithms نوع الوثيقة : نص مطبوع تنويه النشر : 2nd ed. ناشر : تاريخ النشر : cop. 1993 مجموعة : Wiley-interscience series in discrete mathematics and optimization عدد الصفحات : XIII-638 p. Ill. : ill. الأبعاد : 26 cm ISBN/ISSN/EAN : 978-0-471-55793-7 نقطة عامة : Bibliogr. p. 576-625. Index ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Programmation non linéaire تكشيف : 519.7 Nonlinear programming : theory and algorithms [نص مطبوع ] . - 2nd ed. . - , cop. 1993 . - XIII-638 p. : ill. ; 26 cm. - (Wiley-interscience series in discrete mathematics and optimization) .
ISBN : 978-0-471-55793-7
Bibliogr. p. 576-625. Index
ترتيب : Mathématiques Informatique:Informatique الكلمة المفتاح : Programmation non linéaire تكشيف : 519.7 نسخ(1)
Barcode Call number Media type Location Section وضع FIN 5644 21-09-E-50/1 Livre Bibliothèque Universitaire Centrale MI مستتنى من الاعارة
