Documents  68-XX | enregistrements trouvés : 66

- 324 p.
ISBN 978-3-540-09118-9

Lecture notes in computer science , 0067

Localisation : Collection 1er étage

algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX

... Lire [+]

- 297 p.
ISBN 978-0-8218-5110-4

Contemporary mathematics , 0106

Localisation : Collection 1er étage

arithmétique de l'informatique # informatique # mathématiques de l'informatique

03-XX ; 68-XX

... Lire [+]

- 569 p.
ISBN 978-3-540-08342-9

Lecture notes in computer science , 0052

Localisation : Collection 1er étage

automate # combinatoire # informatique théorique # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX

... 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 [+]

- 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-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-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 [+]

- 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 [+]

- 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 [+]

- 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-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 [+]

- 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 [+]

- 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 [+]

- 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 [+]

- 552 p.
ISBN 978-3-540-10843-6

Lecture notes in computer science , 0115

Localisation : Collection 1er étage

automate # complexité # langage # logique # programmation

68-XX

... Lire [+]

- 431 p.
ISBN 978-3-540-11157-3

Lecture notes in computer science , 0122

Localisation : Collection 1er étage

algorithme # algorithmique

01-XX ; 03-XX ; 68-06 ; 68-XX

... 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 [+]

- 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 [+]