Catégories
Documents disponibles dans cette catégorie (26)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
10. Méthodes itératives de décomposition de domaines et communications en calcul parallèle / Didier EL BAZ
Titre : Méthodes itératives de décomposition de domaines et communications en calcul parallèle Type de document : texte imprimé Auteurs : Didier EL BAZ, Coordinateur ; Jean-Claude MIELLOU, Coordinateur ; Olivier PIRONNEAU, Coordinateur Editeur : Hermès Science Publications Année de publication : 1998 Collection : Calculateurs parallèles Réseaux et systèmes répartis Importance : 467 p. ISBN/ISSN/EAN : 978-2-86601-736-1 Note générale : Sommaire
Editorial
RéférencesCatégories : Algorithmes
Analyse numérique
Programmation parallèle (informatique)Index. décimale : 005.2 Programmation par type d'ordinateur Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006151 005.2 ELB Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/05/2026 3. Mathématiques pour l'informatique : 3., Algorithmique numérique (2) / Jacques WOLF
Titre : Mathématiques pour l'informatique : 3., Algorithmique numérique (2) Type de document : texte imprimé Auteurs : Jacques WOLF ; Michèle PICHAT ; Claire DI CRESCENZO Editeur : Armand Colin Année de publication : 1971 Collection : Collection U. Série informatique num. 1147-3754 Importance : 288 p. Note générale : Préface
Avant-propos
Plan de l'ouvrageCatégories : Algorithmes
Informatique
MathématiquesIndex. décimale : 510 Mathématiques Résumé : Problèmes généraux (définitions et rappels)
Interpolation. Fonctions orthogonales
Approximation
Intégration. Dérivation
Résolution de f(x)=o
Systèmes d'équations linéaires
Problèmes différentiels de conditions initiales. Equations récurrentesExemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité B00000562 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000556 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000550 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000544 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000568 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000785 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000790 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible 3. Mathématiques pour l'informatique : 3., Algorithmique numérique (2) / Jacques WOLF
Titre : Mathématiques pour l'informatique : 3., Algorithmique numérique (2) Type de document : texte imprimé Auteurs : Jacques WOLF ; Michèle PICHAT ; Claire DI CRESCENZO Editeur : Armand Colin Année de publication : 1971 Collection : Collection U. Série informatique num. 1147-3754 Importance : 288 p. Note générale : Préface
Avant-propos
Plan de l'ouvrageCatégories : Algorithmes
Informatique
Mathématiques
Mathématiques:InformatiqueIndex. décimale : 510 Mathématiques Résumé : Problèmes généraux (définitions et rappels)
Interpolation. Fonctions orthogonales
Approximation
Intégration. Dérivation
Résolution de f(x)=o
Systèmes d'équations linéaires
Problèmes différentiels de conditions initiales. Equations récurrentesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00003375 510 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Algorithmes d'accélération de la convergence. Etude numérique / Claude BREZINSKI
Titre : Algorithmes d'accélération de la convergence. Etude numérique Type de document : texte imprimé Auteurs : Claude BREZINSKI Editeur : Editions Technip Année de publication : 1978 Collection : Langages et Algorithmes de l'Informatique Importance : 392 p. ISBN/ISSN/EAN : 978-2-7108-0341-6 Note générale : Table des matières
Avant-propos
Conclusion
Bibliographie
IndexCatégories : Algorithmes
Analyse numérique
Analyse numérique:Accélération de la convergenceIndex. décimale : 519.4 Analyse numérique appliquée Résumé : PRESENTATION DES ALGORITHMES
Algorithmes scalaires
Algorithmes non scalaires
Algorithmes confluents
RESULTATS THEORIQUES
Algorithmes scalaires
Algorithmes non scalaires
Algorithmes confluents
APPLICATIONS ET RESULTATS NUMERIQUES
Calcul des milites
Résolution des équations
Calcul des valeurs propres
Quadrature et dérivation numériques
Inversion de la transformée de Laplace
Racines et polynômes
Equations différentielles et intégrales
MISE EN OEUVRE DES ALGORITHMES
Analyse de la précision
Analyse de la programmation
Les sous-programmesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005517 519.4 BRE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Algorithmes en C++ : Concepts fondamentaux, structures de données, tri et recherche. / Robert SEDGEWICK
Titre : Algorithmes en C++ : Concepts fondamentaux, structures de données, tri et recherche. Type de document : texte imprimé Auteurs : Robert SEDGEWICK ; Jean-Luc BOURDON, Traducteur ; Philippe LAROQUE, Traducteur ; Mélanie MUTEAU, Traducteur Mention d'édition : 3e édition Editeur : Pearson Education, Ltd Année de publication : 2004 Importance : 755 p. ISBN/ISSN/EAN : 978-2-7440-7056-3 Note générale : Préface
Contenu
Utilisation comme support de cours
Des algorithmes pratiques
Le langage de programmation
Préface du consultant C++
Notes sur les exercices
Bibliographie
IndexCatégories : Algorithmes
Algorithmes:Informatique
C++ (langage de programmation)Index. décimale : 005.13 Langages de programmation Résumé : LES CONCEPTS FONDAMENTAUX
Introduction
Principes d'analyse des algorithmes
LES STRUCTURES DE DONNEES
Structures de données élémentaires
Types abstraits de données
Récursion et arbres
LES ALGORITHMES DE TRI
Méthodes élémentaires de tri
Tri rapide (quicksort)
Fusion (merging) et tri par fusion (mergesort)
Files à priorités et tri par tas
Tri radix
Méthodes de tri spécifiques
LES ALGORITHMES DE RECHERCHE
Tables de symboles et arbres binaires de recherche
Arbres équilibrés
Hachage
Recherche radix
Recherche externeExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002405 005.13 SED Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithmes génétiques et réseaux de neurones : applications à la commande de processus / Jean-Michel RENDERS
Titre : Algorithmes génétiques et réseaux de neurones : applications à la commande de processus Type de document : texte imprimé Auteurs : Jean-Michel RENDERS Editeur : Hermès Science Publications Année de publication : 1995 Importance : 334 p. ISBN/ISSN/EAN : 978-2-86601-467-4 Note générale : Table des matières
Préface
Avant-propos
Annexes
Bibligoraphie
IndexCatégories : Algorithmes
Commande automatique
Commande de processus
Réseaux neuronaux (informatique)
Systèmes adaptatifsIndex. décimale : 629.8 Technique de la commande automatique Résumé : Fondements et principes des métaphores biologiques
Algorithmes génétiques et commande de processus
Réseaux de neurones et commande de processus
Stratégie générale d'application des métaphores biologiques
synthèseExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00005916 629.8 REN Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026 B00005934 629.8 REN Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible Algorithmes de Graphes : Avec programmes en Pascal / Christian PRINS
Titre : Algorithmes de Graphes : Avec programmes en Pascal Type de document : texte imprimé Auteurs : Christian PRINS Editeur : Eyrolles Année de publication : 1994 Importance : 382 p. ISBN/ISSN/EAN : 978-2-212-09020-8 Note générale : + disquette
Table.
Préambule.
Annexe 1 : Listing de l'unité GPCore.
Annexe 2 : Biblio.
Index.Catégories : Algorithmes
Programmation
Théorie des graphesIndex. décimale : 004 Traitement de données. Informatique Résumé : Introduction aux graphes.
Complexité des algorithmes et problèmes difficiles.
Résolution des problèmes difficiles.
Vers une boîte à outil de graphes.
Manipulations de base sur les graphes.
Problèmes de chemins optimaux.
Problèmes de flots et couplages.
Arbres et arborescences.
Parcours eulériens et hamiltoniens.
Problèmes de coloration.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000520 004 PRI Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithmes et structures de données / Niklaus WIRTH
Titre : Algorithmes et structures de données Type de document : texte imprimé Auteurs : Niklaus WIRTH ; J.A. HERNANDEZ, Traducteur ; Ph. KRUCHTEN, Traducteur Mention d'édition : 2e éd. Editeur : Eyrolles Année de publication : 1989 Importance : 319 p. Note générale : Table des matières
Préface
Annexes
IndexCatégories : Algorithmes
Structures de données (informatique)Index. décimale : 005.73 Structure des données Résumé : Structures de données fondamentales
Le tri
Algorithmes récursifs
Structures de données dynamiques
Transformations de clés (hachage)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001833 005.73 WIR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithmique combinatoire : Méthodes constructives / Gérard LEVY
Titre : Algorithmique combinatoire : Méthodes constructives Type de document : texte imprimé Auteurs : Gérard LEVY Editeur : Dunod Année de publication : 1994 Importance : 502 p. ISBN/ISSN/EAN : 978-2-10-002149-9 Note générale : Disquette incluse
Table des matières
Avant-propos
Bibliographie
Notes concernant la disquette
IndexCatégories : Algorithmes
Algorithmes:Informatique
Informatique
Optimisation combinatoire
PASCAL (langage de programmation)
Programmation (mathématiques)Index. décimale : 005.1 Programmation Résumé : Le langage de la théorie des ensembles
Ensemble des parties d'un ensemble fini
Procédures exploratoires
Théorie des graphes
Arbres et arborescences
Programmation linéaire
Programmation dynamique
Parcours cartésiens
complexité des algorithmesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00004094 005.1 LEV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithmique numérique et ADA / Jean-Etienne ROMBALDI
Titre : Algorithmique numérique et ADA Type de document : texte imprimé Auteurs : Jean-Etienne ROMBALDI Editeur : Masson Année de publication : 1993 Collection : Logique Mathématiques Informatique Importance : 336 p. ISBN/ISSN/EAN : 978-2-225-84384-6 Note générale : Table des matières
Contents
Avant-propos
Bibliographie
IndexCatégories : Ada (langage de programmation)
Algorithmes
Algorithmes:Informatique
Analyse numériqueIndex. décimale : 005.13 Langages de programmation Résumé : Le langage Ada avec OpenAda
Bibliothèque mathématique
Analyse numérique linéaire
Résolution numérique des systèmes non linéaires
Approximation et interpolation
Calcul numérique des intégrales
Résolution numérique des équations différentielles
Méthode des différences finiesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002609 005.13 ROM Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithms + Data Structures = Programs / Niklaus WIRTH
Titre : Algorithms + Data Structures = Programs Type de document : texte imprimé Auteurs : Niklaus WIRTH Editeur : Prentice Hall, Inc. Année de publication : 1976 Collection : Series in Automatic Computation Importance : 366 p. ISBN/ISSN/EAN : 978-0-13-022418-7 Note générale : Contents
Preface
References
Subject index
Index of programsCatégories : Algorithmes
Langages de programmation
Ordinateurs
Ordinateurs:Programmation
Programmation (mathématiques)
Structures de données (informatique)Index. décimale : 005.1 Programmation Résumé : Fundamental Data Structures
Sorting
Recursive Algorithms
Dynamic Information Structure
Language Structures and CompilersExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005681 005.1 WIR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Apprentissage artificiel : Concepts et algorithmes. De Bayes et Hume au Deep Learning / Vincent BARRA
Titre : Apprentissage artificiel : Concepts et algorithmes. De Bayes et Hume au Deep Learning Type de document : texte imprimé Auteurs : Vincent BARRA, Auteur ; Antoine CORNUÉJOLS, Auteur ; Laurent MICLET, Auteur Mention d'édition : 4e édition Editeur : Eyrolles Année de publication : 2021 Collection : Algorithmes (Paris), ISSN 1625-113X Importance : 990 p. ISBN/ISSN/EAN : 978-2-416-00104-8 Note générale : Préface
Table des matières
Notations
Bibliographie
IndexCatégories : Algorithmes
Apprentissage automatique
Intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé : Des machines apprenantes !
L'induction exploitant la structure de l'espace des hypothèses
L'induction par optimisation d'un critère inductif
L'induction par comparaison et collaboration
L'apprentissage descriptif
L'apprentissage en environnement et non stationnaire
Aspects pratiques et supplémentsExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00011395 006.3 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/05/2026 B00011389 006.3 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Calcul formel : systèmes et algorithmes de manipulations algébriques / J. DAVENPORT
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT ; Y. SIRET ; E. TOURNIER Editeur : Masson Année de publication : 1986 Collection : Études et recherches en informatique Importance : 263 p. ISBN/ISSN/EAN : 978-2-225-80990-3 Note générale : Table des matières
Introduction
Bibliographie
Index
AnnexeCatégories : Algorithmes
Calcul formelIndex. décimale : 519.6 Optimisation mathématique Résumé : Comment utiliser un système de calcul formel
Le problème de la représentation des données
Simplification polynômiale
Algorithme avancée
Intégration formelle et équations différentiellesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00003601 519.6 DAV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible A Collection of Test Problems for Constrained Global Optimization Algorithms / FLOUDAS, Christodoulos, A.
Titre : A Collection of Test Problems for Constrained Global Optimization Algorithms Type de document : texte imprimé Auteurs : FLOUDAS, Christodoulos, A. ; PARDALOS, Panos, M. Editeur : Springer Verlag Année de publication : 1990 Collection : Lecture Notes in Computer Science num. 455 Importance : 180 p. ISBN/ISSN/EAN : 978-0-387-53032-1 Note générale : Preface
Contents
List of Tables
List of Figures
BibliographyCatégories : Algorithmes
Mathématiques de l'ingénieur
Optimisation combinatoireIndex. décimale : 004.015 Principes mathématiques Résumé : Introduction
Quadratic Programming Test Problems
Quadratically Constrained Test Problems
Nonlinear Programming Test Problems
Distillation Column Sequencing Test Problems
Pooling/Blending Test Problems
Heat Exchanger Network Synthesis Test Problems
Phase and Chemical Reaction Equilibrium Test Problems
Reactor-Separator-Recycle System Test Problems
Mechanical Design Test Problems
VLSI Design ProblemsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005734 004.015 1 FLO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD
Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements
Table des matières
Introduction
Annexes
Bibliographie
IndexCatégories : Algorithmes
Algorithmes:Informatique
InformatiqueIndex. décimale : TH-06 Résumé : PROBLEMATIQUE
Théorie de l'ordonnancement
Ordonnancement classique et ordonnancement temps réel
Problèmes d'ordonnancement
Algorithmes hors-ligne/en ligne
Ordonnancement en-ligne : simulation/analyse de compétitivité
Bibliographie
ORDONNANCEMENT DES TACHES A SUSPENSION
Introduction sur les tâches à suspension
Les systèmes temps réel
Architecture logicielle des systèmes temps réel
Ordonnancement temps réel
Le problème étudié : ordonnancement de tâches à suspension
Plan de la partie
ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR
Définitions générales
Principaux algorithmes d'ordonnancement préemptif en-ligne
Extension de l'ordonnancement
Introduction aux tests d'ordonnançabilité
Analyse du facteur d'utilisation
Analyse du temps de réponse
Analyse de la demande processeur
Complexité des problèmes d'ordonnançabilité
Conclusion
ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART
Introduction
Test d'ordonnançabilité
DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION
Complexité
Anomalies d'ordonnancement
Optimalité des algorithmes en-ligne
COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT
Minimisation du nombre de tâches en retard
Minimisation du temps de réponse maximum
ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE
Calcul exact du pire temps de réponse sousRM
Caractéristiques des configurations générées
Bornes inférieures du ratio de compétitivité
Incomparabilité des tests de faisabilité
Etude par la simulation
CONCLUSION SUR LES TACHES A SUSPENSION
ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT
Introduction sur les machines à traitement par lot
Ordonnancement de machines à traitement par lot : Etat de l'art
Algotithmes d'ordonnancement pour les machines à traitement par lot
Conclusion sur les machines à traitement par lotExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007220 TH-06 RID Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Fast Transforms : Algorithms, Analyses, Applications / ELLIOTT, Douglas, F.
Titre : Fast Transforms : Algorithms, Analyses, Applications Type de document : texte imprimé Auteurs : ELLIOTT, Douglas, F. ; RAO, K., Ramamohan Editeur : Academic Press, Inc. Année de publication : 1982 Importance : 488 p. ISBN/ISSN/EAN : 978-0-12-237080-9 Note générale : Contents
Preface
Acknowledgements
List of Acronyms
Notation
Appendix
References
IndexCatégories : Algorithmes
Fourier, Transformations de
Transformations (mathématiques)Index. décimale : 515 Analyse Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005760 515 ELL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Mathématiques pour l'informatique : 2., Equations différentielles / N. GASTINEL
Titre : Mathématiques pour l'informatique : 2., Equations différentielles Type de document : texte imprimé Auteurs : N. GASTINEL Editeur : Armand Colin Année de publication : 1970 Importance : 175 p. Note générale : Avant-propos
Plan de l'ouvrage
BibliographieCatégories : Algorithmes
Analyse numérique
Mathématiques
Mathématiques:InformatiqueIndex. décimale : 515.3 Calcul différentiel et équations différentielles Résumé : Théorèmes généraux sur les équations différentielles
Equations différentielles linéaires
Equations différentielles linéaires pour des fonctions de variable complexe
Fonctions spéciales
Equations aux dérivées partielles de type elliptique
Equations d'évolution de type parabolique
Equations d'évolution de type hyperboliqueExemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité B00000545 515.3 GAS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000737 515.3 GAS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000743 515.3 GAS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000791 515.3 GAS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00000784 515.3 GAS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Méthodes numériques : algorithmes, analyse et applications / Alfio QUARTERONI
Titre : Méthodes numériques : algorithmes, analyse et applications Type de document : texte imprimé Auteurs : Alfio QUARTERONI, Auteur ; Ricardo SACCO, Auteur ; Fausto SALERI, Auteur Mention d'édition : Ed. revue et augmentée Editeur : Springer Verlag Année de publication : 2007 Importance : 537 p. ISBN/ISSN/EAN : 978-88-470-0495-5 Note générale : Table des matières
Bibliographie
Liste des programmes
IndexCatégories : Algèbre linéaire
Algorithmes
Analyse numérique
MATLAB (logiciel)Index. décimale : 518 Analyse numérique Résumé : NOTIONS DE BASE
Eléments d'analyse matricielle
Les fondements du calcul scientifique
ALGEBRE LINEAIRE NUMERIQUE
Méthodes directes pour la résolution des systèmes linaires
Méthodes itératives pour la résolution des systèmes linaires
Approximation des valeurs propres et des vecteurs propres
SUR LES FONCTIONS ET LES FONCTIONNELLES
Résolution des équations et des systèmes non linéaires
Interpolation polynomiale
Intégration numérique
TRANSFORMATION, DERIVATIONS ET DISCRETISATIONS
Plynômes orthogonaux en théorie de l'approximation
Résolution numérique des équations différentielles ordinaires
Problèmes aux limites en dimension un
Problèmes transitoires paraboliques et hyperboliques
ApplicationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014396 518 QUA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Numerical Calculations and Algorithms / Royce BECKETT
Titre : Numerical Calculations and Algorithms Type de document : texte imprimé Auteurs : Royce BECKETT ; James HURT Editeur : McGraw-Hill Book Company, Inc. Année de publication : 1967 Importance : 298 p. Note générale : Preface
Contents
Problems
References
IndexCatégories : Algorithmes
Analyse numérique
Calculs numériquesIndex. décimale : 519.4 Analyse numérique appliquée Résumé : Introduction to Computers
The Flow Chart
Nonlinear Algebraic Equations
Simultaneous Linear Equations, Determinants and Matrices
Interpolation and Numerical Integration
Initial-Value Problems
Finite Differences and Boundary-Value Problems
Data ApproximationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005523 519.4 BEC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Optimisation : théorie et algorithmes / Jean CÉA
Titre : Optimisation : théorie et algorithmes Type de document : texte imprimé Auteurs : Jean CÉA, Auteur Editeur : Dunod Année de publication : 1971 Importance : 227 p. Note générale : Avant-propos
Table des matières
BibliographieCatégories : Algorithmes
Analyse fonctionnelle
Banach, Espaces de
Calcul différentiel
Décomposition (mathématiques)
Dualité, Principe de (mathématiques)
Hilbert, Espaces deIndex. décimale : 519.6 Optimisation mathématique Résumé : Éléments d'analyse fonctionnelle
Compléments sur la dérivation
Recherche du minimum d'une fonctionnelle
Minimisation avec contraintes
La dualitéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014800 519.6 CEA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Sorti jusqu'au 15/09/2025 Spécifications algébriques, algorithmique et programmation / Jean-François DUFOURD
Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières
Avant-propos
Références
IndexCatégories : Algorithmes
Génie logiciel
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME
Construction de programmes
Spécifications algébriques : 1., le cas équationnel pur
Spécifications algébriques : 2., le cas général
Implantation et programmation
Spécifications étendues
Piles, files et listes linéaires
Suppression de la récursivité
Complexité et optimalité
STRUCTURES ET ALGORITHMES
Tables
Graphes : 1., Spécification et implantation
Graphes : 2., Algorithmes classiques
Arbres et forêts : 1., Spécification et implantation
arbres et forêts : 2., Algorithmes et variétés d'arbres
Tris internes
Fichiers
Tris externesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000472 005.13 DUF Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible The Mathematics of Computerized Tomography / F. NATTERER
Titre : The Mathematics of Computerized Tomography Type de document : texte imprimé Auteurs : F. NATTERER Mention d'édition : reprinted ed. Editeur : John Wiley & Sons, Inc. Année de publication : 1989 Importance : 222 p. ISBN/ISSN/EAN : 978-0-471-90959-0 Note générale : Contents
Preface
Glossary of Symbols
References
IndexCatégories : Algorithmes
Imagerie (technique)
Tomographie (mathématiques)
Traitement d'images
Traitement d'images:Techniques numériquesIndex. décimale : 621.361 Spectroscopie industrielle Résumé : Computerized tomography
The Radon transform and related transforms
Sampling and resolution
Ill-posedness and accuracy
Reconstruction algorithms
Incomplete data
Mathematical toolsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006066 621.361 NAT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible The Mathematics of Computerized Tomography / F. NATTERER
Titre : The Mathematics of Computerized Tomography Type de document : texte imprimé Auteurs : F. NATTERER Mention d'édition : reprinted ed. Editeur : John Wiley & Sons, Inc. Année de publication : 2001 Collection : In applied Mathematics num. 32 Importance : 222 p. ISBN/ISSN/EAN : 978-0-89871-493-7 Note générale : Contents
Preface
Glossary of Symbols
Errata
References
IndexCatégories : Algorithmes
Imagerie (technique)
Tomographie (mathématiques)
Traitement d'images
Traitement d'images:Techniques numériquesIndex. décimale : 621.361 Spectroscopie industrielle Résumé : Computerized tomography
The Radon transform and related transforms
Sampling and resolution
Ill-posedness and accuracy
Reconstruction algorithms
Incomplete data
Mathematical toolsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007877 621.361 NAT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026 Understanding Molecular Simulation : from Algorithms to Applications / Daan FRENKEL
Titre : Understanding Molecular Simulation : from Algorithms to Applications Type de document : texte imprimé Auteurs : Daan FRENKEL, Auteur ; Berend SMIT, Auteur Mention d'édition : 2nd edition Editeur : Academic Press, Inc. Année de publication : 2002 Importance : 638 p. ISBN/ISSN/EAN : 978-0-12-267351-1 Note générale : Contents
Preface to the Second Edition
Preface
List of Symbols
Appendices
Bibliography
Author Index
IndexCatégories : Algorithmes
Forces intermoléculaires:Simulation par ordinateur
Molécules:Modèles mathématiquesIndex. décimale : 539.6 Physique moléculaire Résumé : BASICS
Statistical Mechanics
Monte Carlo Simulations
Molecular Dynamics Simulations
ENSEMBLES
Monte Carlo Simulations in Various Ensembles
Molecular Dynamics in Various Ensembles
FREE ENERGIES AND PHASE EQUILIBRIA
Free Energy Calculations
The Gibbs Ensemble
Other Methods to Study Coexistence
Free Energies of Solids
Free Energy of Chain Molecules
ADVANCED TECHNIQUES
Long-Range Interactions
Biased Monte Carlo Schemes
Accelerating Monte Carlo Sampling
Tackling Time-Scale Problems
Rare Events
Dissipative Particle Dynamics
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00011238 539.6 FRE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026 L'univers des nombres / Ian STEWART
Titre : L'univers des nombres Type de document : texte imprimé Auteurs : Ian STEWART Editeur : Belin Année de publication : 2000 Collection : Pour la science Importance : 140 p. ISBN/ISSN/EAN : 978-2-84245-013-7 Note générale : Table des matières
Avant-propos
Illustrations couleursCatégories : Algorithmes
Jeux mathématiques
Nombres, Théorie desIndex. décimale : 512 Algèbre et théorie des nombres Résumé : Les régularités de la nature
Comprendre le monde
Les nombres pour les nombres
Les nombres pour jouer
Crédits photographiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001051 512 STE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible