Documents  68-XX | enregistrements trouvés : 64

- 454 p.

Localisation : Colloque 1er étage (PARI)

intelligence artificielle # traitement des données # système # réseau # AFCET

68Txx ; 97R40 ; 68-XX ; 97RXX ; 97R50

... Lire [+]

- vii; 229 p.
ISBN 978-1-4704-2303-2

Contemporary mathematics , 0677

Localisation : Collection 1er étage

logique mathématique # algèbre # informatique

20-XX ; 68-XX ; 00B25 ; 20-06 ; 68-06 ; 03B70

... Lire [+]

- vii; 123 p.
ISBN 978-0-8218-9859-8

Contemporary mathematics , 0633

Localisation : Collection 1er étage

algorithme # théorie des groupes # cryptographie # sécurité de l'information

20-XX ; 68-XX ; 20-06 ; 20F10 ; 20-04 ; 20D15 ; 94A60 ; 11T71 ; 00B25

... Lire [+]

- xvi; 247 p.
ISBN 978-1-4704-1077-3

Contemporary mathematics , 0619

Localisation : Collection 1er étage

équations différentielles # optimisation mathématique # solution optimale # stabilité des systèmes # processus de diffusion

49-06 ; 49Jxx ; 49Kxx ; 49Nxx ; 49J99 ; 93Dxx ; 93E20 ; 34D20 ; 60J60 ; 68W15 ; 90C46 ; 91A05 ; 00B25 ; 34-XX ; 35-XX ; 49-XX ; 60-XX ; 68-XX ; 78-XX ; 90-XX ; 91-XX ; 92-XX ; 93-XX

... Lire [+]

- xii; 237 p.
ISBN 978-0-8176-8393-1

Localisation : Colloque 1er étage (RIO)

analyse numérique # EDP

35-XX ; 65-XX ; 68-XX

... Lire [+]

- vii; 199 p.
ISBN 978-0-8218-7563-6

Contemporary mathematics , 0582

Localisation : Collection 1er étage

théorie des groupes # cryptographie

20-XX ; 68-XX ; 20-06 ; 20F05 ; 94-06 ; 94A60 ; 20-04 ; 20C40 ; 68Q70 ; 00B25

... Lire [+]

- 684 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

algorithme machine # algorithmique # calcul parallèle # grammaire # informatique graphique # informatique théorique # langages # logique de programmation # machine de Turigny # mode de calcul # programmation parallèle # représentation de langages # répartition et stockage des données # réécriture des systèmes # stucture des données

68-XX

... Lire [+]

ISBN 978-0-8218-0611-1

Proceedings of symposia in applied mathematics , 0055

Localisation : Collection 1er étage

combinatoire # fondement mathématique # géométrie # histoire # intelligence artificielle # logique # probabilité # programmation mathématique # recherche opérationnelle

03-XX ; 05-XX ; 51-XX ; 60-XX ; 68-XX ; 90-XX

... Lire [+]

- 463 p.
ISBN 978-0-8218-0674-6

Contemporary mathematics , 0223

Localisation : Collection 1er étage

graphe # géométrie combinatoire # géométrie de l'informatique # géométrie et mathématiques discrètes # polytope # surface # traitement des données géométriques

52-XX ; 68-XX

... Lire [+]

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

gestion des données # informatique théorique # outils de l'informatique théorique et système # simulation et modélisation # structure des données # système informatique # visualisation des données

68-XX ; 68Mxx ; 68P05 ; 68P15

... Lire [+]

- 445 p.
ISBN 978-3-540-62048-8

Lecture notes in computer science , 1178

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique théorique # calcul statistique # géométrie de l'informatique # informatique graphique # logiciel statistique # mathématique discrète # mode et modèle de calcul # modélisation d'objet # probabilité # problème de complexité

68-XX ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

... Lire [+]

ISBN 978-3-540-07534-9

Lecture notes in mathematics , 0499

Localisation : Collection 1er étage

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...

03-XX ; 04-XX ; 68-XX

... Lire [+]

- 248 p.
ISBN 978-0-8218-0517-6

DIMACS series in discrete mathematics and theoretical computer science , 0031

Localisation : Collection 1er étage

automate # complexité de calcul # logic # proposition algébrique # système de preuve # théorie du modèle fini

03-XX ; 68-XX

... Lire [+]

ISBN 978-85-244-0092-6

Localisation : Salle de manutention

condition d'optimalité # convexité et duralité # estimation de paramétre # gradient réduit généralisé # lagrangien augmenté # minimisateur # minimisation de quadratique # minimisation non restreinte # minimisation unidimensionnelle # méthode informatique d'optimisation # programmation quadratique séquentielle # pénalisation # recherche linéaire # restriction linéaire # région de confiance # système d'équations non linéaires

49-XX ; 49M30 ; 65Kxx ; 68-XX ; 90C20

... Lire [+]

ISBN 978-0-521-44218-3

Symposia mathematica , 0034

Localisation : Collection 1er étage

algébre commutative # base de Gröbner # espace affine ou projectif # géométrie algébrique informatique # géométrie algébrique numérique # théorie de l'élimination

13-XX ; 14Qxx ; 65-XX ; 68-XX ; 68Q40

... Lire [+]

- 399 p.
ISBN 978-0-8218-6605-4

DIMACS series in discrete mathematics and theoretical computer science , 0015

Localisation : Collection 1er étage

AGE # CalICo # GDR # GMP/X # GraphPack # GraphTool # METANET # MasPar exécution d'algorithme # NETPAD # NPDA # XYZ GeoBench # analyse d'algorithme de réseau de graphe # analyse de suite d'entier # animation d'algorithme # calcul formel et combinatoire énumérative # concept pour représenter donnée et algorithme # construction d'arbre couvrant minimum # graphe de Cayley # groupe présenté finiment # implémentation de machine à état fini # informatique # maple # minimisation d'arbre de Steiner rectilinaire # paquetage d'analyse de graphe orienté vers l'éducation graph # problème de couverture de sommet # support informatique pour mathématique discrète # technique de Monte-Carlo ou de chaîne de Markov # théorie des graphes topologiques AGE # CalICo # GDR # GMP/X # GraphPack # GraphTool # METANET # MasPar exécution d'algorithme # NETPAD # NPDA # XYZ GeoBench # analyse d'algorithme de réseau de graphe # analyse de suite d'entier # animation d'algorithme # calcul formel et combinatoire énumérative # concept pour représenter donnée et algorithme # construction d'arbre couvrant minimum # graphe de Cayley # groupe présenté finiment # implémentation de machine à état fini # ...

05-XX ; 68-XX

... Lire [+]

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection 1er étage

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

ISBN 978-0-582-09108-5

Pitman research notes in mathematics series , 257

Localisation : Colloque 1er étage (HALL)

analyse numérique # espace analytique # espace de plusieurs variables complètes # fonction d'une variable réelle # informatique # mécanique # théorie géométrique des fonctions # équation aux dérivées partielles

30-XX ; 30Cxx ; 35-XX ; 65-XX ; 68-XX

... Lire [+]

- 220 p.
ISBN 978-3-540-53408-2

Lecture notes in mathematics , 1452

Localisation : Collection 1er étage

approximation diophantienne # corps des nombres quadratiques # processus de diffusion # séquences # sommabilité # sommes # variétés compactes

05A15 ; 10K05 ; 40-XX ; 65-XX ; 68-XX

... Lire [+]