m

F Nous contacter

0

Documents  68-XX | enregistrements trouvés : 64

O

-A +A

P Q

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

Localisation : Colloque 1er étage (PARI)

analyse numérique # application industrielle économique # centre de calcul # documentation automatique # méthode de programmation # problème non numérique # structure et logique # traduction automatique # traitement de l'information

00A79 ; 65-XX ; 68-XX ; 90-XX ; 94-06

... Lire [+]

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


ISBN 978-0-387-08046-8

Lecture notes in computer science , 0021

Localisation : Disparu

00Bxx ; 68-XX ; 79-02

... Lire [+]

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

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

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

- 292 p.
ISBN 978-3-540-07407-6

Lecture notes in computer science , 0033

Localisation : Collection 1er étage

automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates

03-XX ; 68-XX ; 94-XX

... Lire [+]

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

- 671 p.
ISBN 978-3-540-10003-4

Lecture notes in computer science , 0085

Localisation : Collection 1er étage

automate # complexité # informatique théorique # progammation # théorie des langages

68-XX

... Lire [+]

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

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

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

- 508 p.
ISBN 978-3-540-08860-8

Lecture notes in computer science , 0062

Localisation : Collection 1er étage

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

68-XX ; 68N15 ; 68Rxx

... Lire [+]

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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


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

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


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

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

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

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


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

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

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

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

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

Z