Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-262-12080-7
Localisation : Colloque 1er étage (CAMB)
collision moléculaire ou nucléaire # définition mathématique de la vie # formalisme d'entropie maximum # grand ensemble de Gibbs # logique inductive # mécanique statistique # processus irréversible # théorie de l'information
82A05 ; 82A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 192 p.
ISBN 978-0-262-02839-4
Localisation : Ouvrage RdC (LIPT)
informatique quantique # algorithme informatique # algèbre linéaire # algorithme de Deutsch-Jozsa # algorithme de Shor # algorithme de Grover # théorie des graphes # circuit quantique # porte quantique
68-02 ; 68Q12 ; 81P68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 494 p.
ISBN 978-0-262-01646-9
Neural information processing series
Localisation : Ouvrage RdC (OPTI)
Optimisation mathématique # apprentissage automatique
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 213 p.
ISBN 978-0-262-66182-9
Localisation : Ouvrage RdC (PESI)
mathématiques du 19ème siècle # histoire des mathématiques # biographie # Abel, Niels Henrik (1802-1829) # équation algébrique
01A55 ; 12-03 ; 12F10 ; 01-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 163 p.
Localisation : Ouvrage RdC (WIEN)
extrapolation # interpolation # série temporelle # série chronologique # filtrage # prédiction # statistique
62M10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 277 p.
ISBN 978-0-262-63246-1
Localisation : Ouvrage RdC (MURR)
histoire des mathématiques # sociologie des mathématiques # femme et mathématiques
01A80 ; 01A60 ; 01-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 466 p.
ISBN 978-0-262-10064-9
Foundations of computing series
Localisation : Ouvrage RdC (JONE)
calcul # complexité de calcul informatique # complexité des algorithmes # informatique théorique # programme
68N05 ; 68N15 ; 68Nxx ; 68Q25 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 310 p.
ISBN 978-0-262-13233-6
Localisation : Ouvrage RdC (MILL)
algorithme # algorithme de maillage # architecture systhème # calculateur # infographie # informatique théorique # programmation parallèle # pyramide
68Q10 ; 68Q22 ; 68Q25 ; 68R10 ; 68U05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 361 p.
ISBN 978-0-262-23169-5
Foundations of computing series
Localisation : Ouvrage RdC (WINS)
calcul informatique # informatique théorique # langage de programmation # langage formelle # mode de calcul # spécification et vérification de programme # sémantique
68-02 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 419 p.
ISBN 978-0-262-07174-1
Localisation : Ouvrage RdC (GOLD)
algorithmique # bio-mathématique # calcul # conception de réseau # intelligence artificielle # mesure # modèle statistique # modélisation mathématique # probabilité # réseau neuronnal # statistique # système dynamique # équation différentielle ordinaire # évolution statistique
58Fxx ; 68Txx ; 92B20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-88074-1
Localisation : Ouvrage RdC (H)
automate # calcul lambda # calcul partagé # calcul réparti # informatique théorique # langage de programmation # logique et programmation # logique modale # logique temporelle # programmation logique # schéma de programme # spécification d'algèbre # sémantique # sémantique algébrique # théorie des données relationnelles # théorie du langage
68Q45 ; 68Q55 ; 68Q65 ; 90Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-88071-0
Localisation : Ouvrage RdC (H)
algorithme # algorithmique # classe de complexité # complexité algébrique # complexité de Kolmogorov # complexité des algorithmes # cryptographie # graphe # géométrie de l'informatique # informatique théorique # machine de Turing # plan de mouvement # robotique # structure des données
68Q15 ; 68Q30 ; 68Rxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-81714-3
Localisation : Ouvrage RdC (H)
linguistique # logique # logique mathématique # logique symbolique # sémantique # traitement du langage naturel
00A30 ; 03-00 ; 03-XX ; 68Q55 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 512 p.
ISBN 978-0-262-02405-1
Localisation : Ouvrage RdC (BACH)
algorithme de base # calcul dans l'anneau des entiers modulon # fait et heuristique # nombre premier # plus grand commun diviseur # résolution d'équations sur corps finis # théorie de la complexité # théorie des nombres algorithmique
11Y16 ; 11Yxx ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 1018 p.
ISBN 978-0-444-82346-5
Localisation : Ouvrage RdC (Hand)
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode toplogique # optimisation combinatoire # physique statistique # recherche opérationnelle # reconstruction # statistique # système d'ensemble extrémal # théorie de Ramsey # théorie des graphes extrémales # théorie des écarts # énumération algébrique
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode toplogique # optimisation combinatoire # physique ...
03D15 ; 05-00 ; 05A15 ; 05Axx ; 90C27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- Pp. 1021-2108
ISBN 978-0-444-82351-9
Localisation : Ouvrage RdC (Hand)
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode topologique # optimisation combinatoire # physique statistique # recherche opérationnelle # reconstruction # statistique # système d'ensemble extrémal # théorie de Ramsey # théorie des graphes extrémales # théorie des écarts # énumération algébrique
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode topologique # optimisation combinatoire # physique ...
03D15 ; 05-00 ; 05A15 ; 05Axx ; 90C27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 254 p.
ISBN 978-0-262-15031-6
Localisation : Ouvrage RdC (OGIL)
femme scientifique # histoire des sciences # mathématicienne # répertoire historique
01A80 ; 01A55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 727 p.
ISBN 978-0-262-12156-9
Localisation : Ouvrage RdC (Comp)
(dés)unification # ABSYS # Prolog proche de Horn # inférence inductive des théories à partir des faits # logique du calcul # logique modale # procédure de complétion # programmation logique # retour chez soi intelligent # science du raisonnement # système de réécriture orthogonale
03B45 ; 68N17 ; 68Q42
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-88071-0
Handbook of theoretical computer science
Localisation : Ouvrage RdC (H)
algorithme de graphe # architecture parallèle # classe de complexité # complexité de Kolmogorov # cryptographie # géométrie informatique # modèle de machine # parallèle # problème difficile par présomption ou preuve # seconde classe de machines # structure de donnée # séquentielle # théorie VLSI # théorie de la complexité algébrique # théorie de la complexité indépendante de la machine
68Q15 ; 68Q25 ; 68Q30 ; 68Q35
... Lire [+]
