CIRM - Videos & books Library

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

V

- 483 p.
Cote : 00028128

équation d'onde # optique géométrique # champs de vecteur # problème de Goursat # focntion L # valeur spéciale # théorie d'Iwasawa # motif # fonction L p-adique # conjecture de Beilinson # lois de réciprocité # conjecture de Leopold # variété projective # fibré en droite # tenseur de courbure # fibré positif # fibré ample # fibré nef # faisceau d'idéau multiplicateur de Nadel # théorème d'annulation # système linéaire adjoint # conjecture de Fujita # mouvement Brownien dans un environnement aléatoire # mesure typique et moyennée # méthode de grossissement des obstacles # mécanique céleste # petit diviseur # théorie KAM # comportement chatique # arbre # fibré # groupe # hakénien # hyperbolique # kleinien # lamination # quasi-conforme # représentation # surface # Teichmüller # variété # résonance # quasi-mode # formule de trace # diffusion # conjecture de Langlands # forme automorphe # variété de Shimura # groupe unitaire # groupe formel # algèbre de Lie simple # réplique-symétrique # champs moyen # état pur # modèle de Hopfield # modèle de Sherrington-Kirkpatrick # perceptron binaire # 1-forme rationelle # fonction localement analytique # variété abélienne # période p-adique # opérateur de Frobenius # polylogarithme p-adique # holonomie # système extèrieur différentiel # calcul classique # calcul quantique # univers constructif # problème P/NP # factorisation rapide # algorithme de Shor # conjecture de Kapler # empilement de sphère # Lie # ordinateur # plongement # simple # toral # torsion [-]

équation d'onde # optique géométrique # champs de vecteur # problème de Goursat # focntion L # valeur spéciale # théorie d'Iwasawa # motif # fonction L p-adique # conjecture de Beilinson # lois de réciprocité # conjecture de Leopold # variété projective # fibré en droite # tenseur de courbure # fibré positif # fibré ample # fibré nef # faisceau d'idéau multiplicateur de Nadel # théorème d'annulation # système linéaire adjoint # conjecture de ...[+]

35L40 ; 11Fxx ; 11Gxx ; 11Rxx ; 11Sxx ; 14Fxx ; 14Gxx ; 14C30 ; 14F17 ; 14J60 ; 60K40 ; 82D30 ; 70F10 ; 70F15 ; 70K55 ; 37J05 ; 57M07 ; 57M50 ; 20E08 ; 51M10 ; 35L05 ; 35P25 ; 11F70 ; 11G18 ; 11R39 ; 14L05 ; 17B20 ; 60G70 ; 60G15 ; 90C27 ; 14Hxx ; 14Kxx ; 14Lxx ; 30Fxx ; 30Gxx ; 32Jxx ; 53C10 ; 53B05 ; 58A15 ; 68Q05 ; 68P25 ; 68Q25 ; 81P99 ; 51M04 ; 51M16 ; 52C17 ; 20-XX ; 22-XX

Localisation : Périodique 1er étage

Sélection Signaler une erreur

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

- xvii; 410 p.
Cote : 00041452

analyse numérique # algorithmes # complexité de calcul # manuel

68-01 ; 68Q25 ; 68W40 ; 68Q05

Localisation : Enseignement RdC (PERI)

Sélection Signaler une erreur

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

V

- 173 p.
Cote : 00009312

05-04 ; 68Q05

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 305 p.
Cote : 00011511

algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture

68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 467 p.
Cote : 00011523

langage de programmation # langage formel # machine # réseaux de Petri # système d'exploitation # système temps réel

68M10 ; 68Mxx ; 68N15 ; 68Q05

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 474 p.
Cote : 00013953

algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes

68Q05 ; 68Q25 ; 68Q45 ; 68R10

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 668 p.
Cote : 00013769

arithmétique # constructibilité # fondement de la logique # informatique # informatique théorique # logique # mathématique constructible # programmation mathématique # récursion # science de l'informatique # théorie d'ensemble # théorie de la preuve

03Dxx ; 03E45 ; 03F30 ; 68Q05

Localisation : Ouvrage RdC (ODIF)

Sélection Signaler une erreur

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

V

- 838 p.
Cote : 00014212

automate # informatique théorique # machine de turing # théorie des automates # turing

68Q05 ; 68Qxx

Localisation : Ouvrage RdC (COHE)

Sélection Signaler une erreur

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

V

- 118 p.
Cote : 00015554

calculabilité # classe de complexité # complexité d'espace # complexité de temps # décidabilité # langage récursif # langage récursivement énumérable # modèle de machine de Turing # modème de machine RAM # problème NP- complet # problème insalubre # réduction algorithmique d'un problème à un autre # réduction polynomiale # thèse de Church

03B25 ; 03D15 ; 68Q05 ; 68Q15

Localisation : Disparu;Ouvrage RdC (AUTE)

Sélection Signaler une erreur

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

V

- 245 p.
Cote : 00001669

calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété

03D10 ; 03Dxx ; 68Q05

Localisation : Collection 1er étage

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 68Q05 84 résultats

Séminaire Bourbaki. Vol. 1998/99 :
exposés 850-864 | Société Mathématique de France 2000 Nouveau

Complexité algorithmique Perifel, Sylvain | Editions Ellipses 2014 Nouveau

Surveys in combinatorics 1985 :
invented papers for the tenth british combinatorial conference held in the university of glasgow#July 22-26 Anderson, Ian | Cambridge University Press 1985 Nouveau

Graph-theoretic concepts in computer science :
proceedings of the international workshop wg '86#June 17-19 Schmidt, G. ; Tinhofer, G. | Springer-Verlag 1987 Nouveau

Advances in petri nets 1984 Genrich, H. ; Rozenberg, G. ; Roucairol, G. | Springer-Verlag 1985 Nouveau

Automata, languages and programming :
13th international colloquium#July 15-19 Kott, Laurent | Springer-Verlag 1986 Nouveau

Classical recursion theory Odifreddi, P. | North-Holland 1989 Nouveau

Introduction to computer theory Cohen, Daniel I. A. | John Wiley & Sons, Inc. 1991 Nouveau

Calculabilité et décidabilité
une introduction Autebert, Jean-Michel | Masson 1992 Nouveau

Enumerability decidability computability :
and introduction to the theory of recursive functions Hermes, Hans ; Hermann, G. T. ; Plassmann, O. | Springer-Verlag 1969 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 68Q05 84 résultats

Séminaire Bourbaki. Vol. 1998/99 :exposés 850-864 | Société Mathématique de France 2000 Nouveau

Complexité algorithmique Perifel, Sylvain | Editions Ellipses 2014 Nouveau

Surveys in combinatorics 1985 :invented papers for the tenth british combinatorial conference held in the university of glasgow#July 22-26 Anderson, Ian | Cambridge University Press 1985 Nouveau

Graph-theoretic concepts in computer science :proceedings of the international workshop wg '86#June 17-19 Schmidt, G. ; Tinhofer, G. | Springer-Verlag 1987 Nouveau

Advances in petri nets 1984 Genrich, H. ; Rozenberg, G. ; Roucairol, G. | Springer-Verlag 1985 Nouveau

Automata, languages and programming :13th international colloquium#July 15-19 Kott, Laurent | Springer-Verlag 1986 Nouveau

Classical recursion theory Odifreddi, P. | North-Holland 1989 Nouveau

Introduction to computer theory Cohen, Daniel I. A. | John Wiley & Sons, Inc. 1991 Nouveau

Calculabilité et décidabilitéune introduction Autebert, Jean-Michel | Masson 1992 Nouveau

Enumerability decidability computability :and introduction to the theory of recursive functions Hermes, Hans ; Hermann, G. T. ; Plassmann, O. | Springer-Verlag 1969 Nouveau

Filtrer

Type

Auteurs

Langue

Séminaire Bourbaki. Vol. 1998/99 :
exposés 850-864 | Société Mathématique de France 2000 Nouveau

Surveys in combinatorics 1985 :
invented papers for the tenth british combinatorial conference held in the university of glasgow#July 22-26 Anderson, Ian | Cambridge University Press 1985 Nouveau

Graph-theoretic concepts in computer science :
proceedings of the international workshop wg '86#June 17-19 Schmidt, G. ; Tinhofer, G. | Springer-Verlag 1987 Nouveau

Automata, languages and programming :
13th international colloquium#July 15-19 Kott, Laurent | Springer-Verlag 1986 Nouveau

Calculabilité et décidabilité
une introduction Autebert, Jean-Michel | Masson 1992 Nouveau

Enumerability decidability computability :
and introduction to the theory of recursive functions Hermes, Hans ; Hermann, G. T. ; Plassmann, O. | Springer-Verlag 1969 Nouveau