Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
- 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.
- 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.
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.
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.
- 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-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.
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-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.
- 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.
- 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 [+]
