Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 474 p.
Cote : 00013953
algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes
68Q05 ; 68Q25 ; 68Q45 ; 68R10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 654 p.
Cote : 00018632
algorithme de graphe # algorithme parallèle # apprentissage # base de données # calcul distribué # combinatoire # conception combinatoire # géométrie informatique # logique distribuée # modèle de machine # planification # théorie de la complexité # tracé de graphe
05Cxx ; 68Q20 ; 68Q25 ; 68Q30 ; 68R05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00010602
algèbre numérique linéaire # analyse numérique # approximation # équation non linéaire # équation différentielle ordinaire # équation intégrale # interpolation # optimisation
28Dxx ; 65Dxx ; 65Fxx ; 65Kxx ; 65Lxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 219 p.
Cote : 00015253
analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information
68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 566 p.
Cote : 00017482
CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie informatique # mécanique quantique # mémoire des systèmes informatique # performance des machines # polymère # portabilité de programme # problème de voyageur de commerce # problème des trois corps # programmation parallèle # programme informatique de la chimie # prospective de l'informatique # recherche prospective # réseau de machines # réseau de stations de travail # réseau informatique # simulation # station de travail # système linéaire perturbé # traitement de données sismiques # équation différentielle # étoile
[-] CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie ...
[+] 68M07 ; 68M10 ; 68M15 ; 68M20 ; 90B12
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00017527
B-spline # CGAO # algorithmé de De Casteljau # conception géométrique assistée par ordinateur # conique # continuité géométrique # courbe de Bézier # courbe et surface # facette de Coons # forme de Bernstein # géométrie différentielle # inspection et lissage # interpolation cubique par morceaux # interpolation polynomiale # interpolation spline cubique # produit tensoriel # spline en forme de Bézier # surface de Bézier # triangle de Bézier
41A15 ; 68U05
Localisation : Ouvrage RdC (FARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 275 p.
Cote : 00018417
2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve
[-] 2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de ...
[+] 38T20 ; 65-06 ; 68P05 ; 68Q40 ; 68T15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 646 p.
Cote : 00018513
B-spline # B-spline rationnel non uniforme # NURBS # adaptation de courbe ou surface # algorithme géométrique # communication visuelle # conique et cercle # construction de surface commune # courbe de Bézier # courbe ou surface B-spline rationnelle # dérivée de courbe B-spline # dérivée de surface B-spline # fonction de base # forme de base puissance d'une courbe # forme paramétrique et implicite # modification de forme # programmation B-spline # standard et échange de données # structure de données # surface de produit tensoriel # technique de construction de surface # type de données # échange de données d'information géométrique traitée par ord
[-] B-spline # B-spline rationnel non uniforme # NURBS # adaptation de courbe ou surface # algorithme géométrique # communication visuelle # conique et cercle # construction de surface commune # courbe de Bézier # courbe ou surface B-spline rationnelle # dérivée de courbe B-spline # dérivée de surface B-spline # fonction de base # forme de base puissance d'une courbe # forme paramétrique et implicite # modification de forme # programmation B-spline ...
[+] 41A15 ; 65Y25 ; 68U05
Localisation : Ouvrage RdC (PIEG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 654 p.
Cote : 00018624
algorithme # base de données # code possible dans le code génétique # cryptographie # géométrie informatique # informatique théorique # logique # théorie de la communication # théorie de la complexité # théorie des automates # théorie des graphes # théorie du calcul parallèle # équivalence de processus concurrent et décision
68-06 ; 68Qxx ; 68U05 ; 94A60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 523 p.
Cote : 00018625
BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # problème de Yekutieli et Mandelbrojt # programmation logique contrainte # réseau d'automate cyclique # séquence biologique
[-] BDD et FDD # automate basculeur généralisé # automate fini probabiliste à 2 voies multitête # automaton cellulaire réversible # conception de structure de donnée géométrique # corps fini # graphe de Cayley # graphe de visibilité de polygône à 2 spirales # graphe récursif # génération aléatoire d'arbre coloré # informatique théorique # logique temporelle # machine Oracle monotone # machine de Turing # ordonnancement de chaîne de matrice # ...
[+] 05Cxx ; 68Qxx ; 68R10
Localisation : Collection 1er étage
English