m

Documents  I.1.2 | enregistrements trouvés : 12

O
     

-A +A

P Q

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

- 395 p.
ISBN 978-3-540-54945-1

Lecture notes in computer science , 0557

Localisation : Collection 1er étage

algorithme # algoritmique

68Qxx

... 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.

- 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.


ISBN 978-0-07-548680-0

Localisation : Disparu

logique de # logique de programmation

68N05 ; 68Q25

... Lire [+]

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

- 431 p.
ISBN 978-2-86601-063-8

Traité des nouvelles technologies

Localisation : Ouvrage RdC (GRIF)

algorithmique # intelligence artificielle # programmation logique

68Txx

... Lire [+]

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

- 179 p.
ISBN 978-2-13-040286-2

Localisation : Ouvrage RdC (MIGN)

algèbre # algèbre appliquée à l'informatique # algèbre de Boole # biblog # calcul algébrique # circuit # graphe # groupe # machine # monoïde # réseau

03G05 ; 06Exx ; 68Q05 ; 68Q40 ; 68R10

... Lire [+]

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

- 158 p.
ISBN 978-2-08-064640-8

Localisation : Ouvrage RdC (DREY)

68T01

... Lire [+]

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

- 197 p.
ISBN 978-3-540-10290-8

Lecture notes in computer science , 0102

Localisation : Collection 1er étage

algèbre # algèbre différentielle # algorithme # fonction algébrique # informatique théorique # intégration # théorie des nombres

12-02 ; 28-02 ; 68Q40 ; 68Qxx

... Lire [+]

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

- 238 p.
ISBN 978-3-540-54955-0

Lecture notes in computer science , 0559

Localisation : Collection 1er étage

algorithme # algorithmique # groupe # groupe de permutation # permutation

68Q70

... Lire [+]

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

- 206 p.
ISBN 978-3-540-63446-1

Algorithms and computation in mathematics , 0003

Localisation : Disparu;Ouvrage RdC (KOBL)

algèbre de l'informatique # anneau commutatif # arithmétique # corps des nombres finis # cryptographie # informatique théorique # mathématique discrète # théorie algorithme des nombres # théorie algébrique # théorie des codes algébriques # théorie des données

11T71 ; 11Y16 ; 11Y40 ; 68P25 ; 94A60

... Lire [+]

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

- 166 p.

Localisation : Ouvrage RdC (NAEG)

calcul formel # estimation Gevrey # estimation q-Gevrey # resommation # théorème d'indice # équation aux différences # équation aux q-différences # équation différentielle

30D05 ; 39Bxx ; 65Q05 ; 68Q20

... Lire [+]

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

- 147 p.

Localisation : Ouvrage RdC (HUBE)

algèbre différentielle # calcul formel # solution générale # solution singulière # équation différentielle algébrique

34A09 ; 34C05 ; 65Lxx ; 68Qxx

... Lire [+]

Z