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