m

F Nous contacter

0

Documents  The Mit Press | enregistrements trouvés : 79

O

-A +A

P Q

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.

- x; 285 p.

Localisation : Ouvrage RdC (PETE)

théorie de l'information # probabilités # code correcteur d'erreur

94B99 ; 94A15 ; 94A05 ; 94-02

... Lire [+]

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

Z