m

Documents  G.1.2 | enregistrements trouvés : 11

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 431 p.
ISBN 978-3-540-16437-1

Lecture notes in computer science , 0212

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 474 p.
ISBN 978-3-540-16761-7

Lecture notes in computer science , 0226

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-3-540-55553-7

Lecture notes in computer science , 0601

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 566 p.
ISBN 978-3-540-58712-5

Lecture notes in computer science , 879

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 275 p.
ISBN 978-3-540-60156-2

Lecture notes in computer science , 0958

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 654 p.
ISBN 978-3-540-59042-2

Lecture notes in computer science , 0900

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 523 p.
ISBN 978-3-540-59175-7

Lecture notes in computer science , 0911

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 654 p.
ISBN 978-3-540-60216-3

Lecture notes in computer science , 0959

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 412 p.
ISBN 978-3-540-66907-4

Lecture notes in computer science , 1745

Localisation : Collection 1er étage

HiPC # architecture des processus # compilation # débit à haute fréquence # informatique # mathématique de l informatique # mécanique de programmation # outil de l informatique # performance des systèmes # planificationn # programmation # système d exploitation

68-06 ; 68M10 ; 68Q22 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-225-82765-5

Localisation : Ouvrage RdC (FARI)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 646 p.
ISBN 978-3-540-61545-3

Monographs in visual communication

Localisation : Ouvrage RdC (PIEG)

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

... Lire [+]

Z