m

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.

- 651 p.
ISBN 978-0-262-08049-1

Localisation : Oeuvres complètes RdC (ZARI)

anneau local saturé # hypersurface algébroide # point équisingulier sur variété algébrique # saturation # singularité # surface algébrique # variété algébrique # # équisingularité # Zariski # oeuvres complètes

01A60 ; 01A65 ; 01A75 ; 14-XX

... Lire [+]

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

- 615 p.
ISBN 978-0-262-01038-2

Localisation : Oeuvres complètes RdC (ZARI)

fonction holomorphesystème linéaire # genre arithmétique # quatorzième problème de Hilbert # surface algébrique # # théorème de Riemann-Roch # transformation birationnelle # variété algébrique # variété normale # Zariski # oeuvres complètes

01A60 ; 01A65 ; 01A75 ; 14-XX ; 32-XX

... Lire [+]

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

- 480 p.
ISBN 978-0-262-24021-5

Localisation : Oeuvres complètes RdC (ZARI)

coupe # développement de fonction algébrique # fonction algébroide # groupe monodromique # géométrie algébrique abstraite # hypersurface algébrique # singularité algébroide # # surface algébrique # theta-fonction hyperelliptique # théorie algébrique des faisceaux # variété algébrique # équation algébrique # Zariski # oeuvres complètes

01A60 ; 01A65 ; 01A75 ; 14-XX

... Lire [+]

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

- 331 p.
ISBN 978-0-262-23109-1

Localisation : Ouvrage RdC (WUSS)

géométrie # histoire # théorie des groupes # théorie des nombres

01A50 ; 20-03

... Lire [+]

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

- 204 p.
ISBN 978-0-262-73017-4

Localisation : Ouvrage RdC (WITT)

fondement des mathématiques # logique # philosophie des mathématiques

00A30 ; 01A75

... 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.

- 431 p.
ISBN 978-0-262-23123-7

Localisation : Oeuvres complètes RdC (WIEN)

cybernétique # esthétique # éthique # informatique # mathématique s de l'ingénieur # mathématiques # neurophysiologie # philosophie des mathématiques # enseignement des mathématiques # théorie de l'information # théorie distribution invariante controlée # Wiener # oeuvres complètes

01A60 ; 01A61 ; 01A75 ; 68-02 ; 68-03

... Lire [+]

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

- 761 p.
ISBN 978-0-262-23070-4

Localisation : Oeuvres complètes RdC (WIEN)

analyse complexe # analyse harmonique # chaos # epistémologie # intégrale de Wiener # mouvement brownien # mécanique statistique # problème de Dirichlet # système dynamique # théorie du potentiel # théorie ergodique # théorie tauberienne # turbulence # Wiener # oeuvres complètes

00A30 ; 42-02 ; 42A16 ; 42A38 ; 42Bxx

... Lire [+]

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

- pag. mult.
ISBN 978-0-262-23092-6

Localisation : Oeuvres complètes RdC (WIEN)

analyse complexe # analyse de Fourier # analyse harmonique # fonction périodique # théorie taubérienne # théorème tauberien # transformée de Fourier-Stieljes # Wiener # oeuvres complètes

40D15 ; 42-02 ; 42A16 ; 42A38 ; 42Bxx

... Lire [+]

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

- pag. mult.
ISBN 978-0-262-23107-7

Localisation : Oeuvres complètes RdC (WIEN)

analyse stochastique # filtre # gravitation # mécanique quantique # probabilité # processus aléatoire # processus stochastique # relativité # théorie de prédiction # équation intégrale de Wiener # oeuvres complètes

45B35 ; 45E10 ; 60Gxx ; 60H25 ; 60Hxx

... Lire [+]

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

- 380 p.
ISBN 978-0-262-73007-5

Localisation : Ouvrage RdC (WIEN)

01A60 ; 01A70

... 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.

- 624 p.
ISBN 978-0-262-22030-9

Charles babbage institute reprint series for the history computing , 0012

Localisation : Oeuvres complètes RdC (NEUM)

histoire de l'informatique # informatique # Neumann # oeuvres complètes

01-02 ; 01A05 ; 01A60 ; 01A75 ; 68-03

... Lire [+]

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

- 341 p.
ISBN 978-0-262-22027-9

The mit press series in signal processing , 0007

Localisation : Ouvrage RdC (VIDY)

factorisation # théorie distribution invariante controlée

93B25

... Lire [+]

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

- 1273 p.
ISBN 978-0-444-88074-1

Handbook of theoretical computer science

Localisation : Ouvrage RdC (Hand)

automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

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

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-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.

- pag. mult.
ISBN 978-0-262-02108-1

Localisation : Oeuvres complètes RdC (ULAM)

astronomie # biologie # calcul # catégorie de base # distribution des nombres premiers # groupe # groupe de permutations # groupe topologique # mathématiques appliquées # physique de la matière # théorie des ensembles # théorie des jeux # théorie des nombres # transformation ergodique # univers # Ulam # oeuvres complètes

04A20 ; 05A05 ; 11Axx ; 20Bxx ; 22Axx

... Lire [+]

Z