Des services pour PMB
Indexation 519.7
519 Ouvrages de la bibliothèque en indexation 519.7 (4)
Affiner la recherche Interroger des sources externesAlgorithmes d'approximation
Titre : Algorithmes d'approximation Type de document : texte imprimé Editeur : Année de publication : DL 2006 Collection : Collection IRIS Importance : 1 vol. (XX-427 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-00677-7 Note générale : Bibliogr. p. 399-415. Index Mots-clés : Algorithmes Optimisation mathématique Index. décimale : 519.7 Algorithmes d'approximation [texte imprimé] . - , 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
Mots-clés : Algorithmes Optimisation mathématique Index. décimale : 519.7 Exemplaires(0)
Disponibilité aucun exemplaire
Titre : Calculateurs, calculs, calculabilité Type de document : texte imprimé Editeur : Année de publication : impr. 2007 Collection : Sciences sup Importance : 1 vol. (XV-204 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-051588-2 Note générale : La couv. porte en plus : "IUT, BTS, licence, écoles d'ingénieur"
IndexCatégories : Sciences Exactes 2026:Informatique Mots-clés : Ordinateurs Programmation Fonctions calculables Index. décimale : 519.7 Résumé : 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é [texte imprimé] . - , 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
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Ordinateurs Programmation Fonctions calculables Index. décimale : 519.7 Résumé : 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... Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité FIN 6259 21-09-E-59/1 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 6260 21-09-E-59/2 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Éléments d'analyse de données Type de document : texte imprimé Editeur : Année de publication : 1982 Collection : Dunod décision Importance : 462 p. ISBN/ISSN/EAN : 978-2-04-015430-1 Catégories : Sciences Exactes 2026:Informatique Mots-clés : Analyse des données Mathématiques Informatique Index. décimale : 519.7 Éléments d'analyse de données [texte imprimé] . - , 1982 . - 462 p.. - (Dunod décision) .
ISBN : 978-2-04-015430-1
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Analyse des données Mathématiques Informatique Index. décimale : 519.7 Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité FIN 4836 21-05-E-15/1 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 4837 21-05-E-15/2 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Nonlinear programming : theory and algorithms Type de document : texte imprimé Mention d'édition : 2nd ed. Editeur : Année de publication : cop. 1993 Collection : Wiley-interscience series in discrete mathematics and optimization Importance : XIII-638 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-0-471-55793-7 Note générale : Bibliogr. p. 576-625. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Programmation non linéaire Index. décimale : 519.7 Nonlinear programming : theory and algorithms [texte imprimé] . - 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
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Programmation non linéaire Index. décimale : 519.7 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité FIN 5644 21-09-E-50/1 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt
