CIRM - Videos & books Library

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

V

Cote : 00007559

C*-algèbre # algèbre de Von Neumann # algèbre de fonction réflexive # analyse fonctionnelle # différentiation gateau de fonction # espace d'opérateur compact # espace de Banach d'opérateur # espace de Fréchet # espace de distribution # espace de polynome n-homogène # paire de Gelfand généralisée

46Bxx ; 46Exx ; 46Lxx

Localisation : Colloque 1er étage (PADE)

Sélection Signaler une erreur

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

V

- 318 p.
Cote : 00028555

histoire des mathématiques # Heinrich Hertz # mécanique # forme géométrique # principe de mécanique

01-XX ; 00-XX

Localisation : Ouvrage RdC (LUTZ)

Sélection Signaler une erreur

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

V

- 243 p.
Cote : 00028534

logique mathématique # logique formelle # informatique # preuve formelle # calculateur logique

03-01 ; 68-01

Localisation : Ouvrage RdC (BORN)

Sélection Signaler une erreur

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

V

- 205 p.
Cote : 00028439

géométrie # problèmes # théorie des nombres # cercle # triangle # quadrilatère # sphère # treillis # courbe # point rationel

00A05 ; 11-01 ; 51-01 ; 97U40

Localisation : Ouvrage RdC (BRAD)

Sélection Signaler une erreur

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

V

- 657 p.
Cote : 00028536

John Pell # biographie # correspondance # Charles Cavendish # 17ème siècle # histoire des mathématiques # épistémologie

01A45 ; 01-02 ; 01A70

Localisation : Biographie RdC (PELL)

Sélection Signaler une erreur

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

V

- 281 p.
Cote : 00028584

histoire des mathématiques

01A05 ; 01-02

Localisation : Ouvrage RdC (HODG)

Sélection Signaler une erreur

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

V

- 553 p.
Cote : 00028430

histoire des mathématiques # machine de Turing # 20ème siècle # informatique # ACE

01A60 ; 68-03 ; 01-02

Localisation : Ouvrage RdC (Alan)

Sélection Signaler une erreur

Destination de la recherche

Raccourcis

Informations Pratiques

Plan de la Bibliothèque

Histoire

Règlement Intérieur

Ludothèque

Recherche avancée

Livres électroniques

Fonds

Autres catalogues

Revue papier

Revue électronique

Autres catalogues

Revues électroniques

Bases de données

Documents Oxford 7 résultats

Functional analysis, surveys and recent results III
proceedings of the conference on functional analysis held in
May 24-29 Bierstedt, Klaus Dieter ; Fuchssteiner, Benno | N.Y. ; North-Holland ; Oxford 1984 Nouveau

Mechanistic images in geometric form :
Heinrich Hertz's principles of mechanics Lutzen, Jesper | Oxford 2005 Nouveau

Proof and disproof in formal logic :
an introduction for programmers Bornat, Richard | Oxford 2005 Nouveau

Challenges in geometry :
for mathematical olympians past and present Bradley, Christoper J. | Oxford 2005 Nouveau

John Pell (1611-1685) and his correspondence with Sir Charles Cavendish :
the mental world of an early modern mathematician Malcolm, Noel ; Stedall, Jacqueline | Oxford 2005 Nouveau

A history of mathematics :
from mesopotamia to modernity Hodgkin, Luke | Oxford 2005 Nouveau

Alan turing's automatic computing engine :
the master codebreaker's struggle to build the modern computer Copeland, Jack | Oxford 2005 Nouveau

Filtrer

Type

Auteurs

Langue

Documents

Références

Auteurs

Thesaurus

Destination de la recherche

Raccourcis

Fonds

Autres catalogues

Autres catalogues

Bases de données

Documents Oxford 7 résultats

Functional analysis, surveys and recent results IIIproceedings of the conference on functional analysis held inMay 24-29 Bierstedt, Klaus Dieter ; Fuchssteiner, Benno | N.Y. ; North-Holland ; Oxford 1984 Nouveau

Mechanistic images in geometric form :Heinrich Hertz's principles of mechanics Lutzen, Jesper | Oxford 2005 Nouveau

Proof and disproof in formal logic :an introduction for programmers Bornat, Richard | Oxford 2005 Nouveau

Challenges in geometry :for mathematical olympians past and present Bradley, Christoper J. | Oxford 2005 Nouveau

John Pell (1611-1685) and his correspondence with Sir Charles Cavendish :the mental world of an early modern mathematician Malcolm, Noel ; Stedall, Jacqueline | Oxford 2005 Nouveau

A history of mathematics :from mesopotamia to modernity Hodgkin, Luke | Oxford 2005 Nouveau

Alan turing's automatic computing engine :the master codebreaker's struggle to build the modern computer Copeland, Jack | Oxford 2005 Nouveau

Filtrer

Type

Auteurs

Langue

Functional analysis, surveys and recent results III
proceedings of the conference on functional analysis held in
May 24-29 Bierstedt, Klaus Dieter ; Fuchssteiner, Benno | N.Y. ; North-Holland ; Oxford 1984 Nouveau

Mechanistic images in geometric form :
Heinrich Hertz's principles of mechanics Lutzen, Jesper | Oxford 2005 Nouveau

Proof and disproof in formal logic :
an introduction for programmers Bornat, Richard | Oxford 2005 Nouveau

Challenges in geometry :
for mathematical olympians past and present Bradley, Christoper J. | Oxford 2005 Nouveau

John Pell (1611-1685) and his correspondence with Sir Charles Cavendish :
the mental world of an early modern mathematician Malcolm, Noel ; Stedall, Jacqueline | Oxford 2005 Nouveau

A history of mathematics :
from mesopotamia to modernity Hodgkin, Luke | Oxford 2005 Nouveau

Alan turing's automatic computing engine :
the master codebreaker's struggle to build the modern computer Copeland, Jack | Oxford 2005 Nouveau