m

F Nous contacter

0

Documents  Elsevier | enregistrements trouvés : 75

O

-A +A

P Q

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


ISBN 978-0-444-82867-5

NATO Advanced study institute

Localisation : Colloque 1er étage (HOUC)

K- homologie # action spectrale # algèbre d'opérateur # analyse d'espace régulier # gravité # groupe de jauge # groupe quantique # géométrie non commutative # géométrie quantique # homologie cyclique # mécanique quantique # physique théorique # relativité générale # résidu de Wodzicki # super-symétrie # symétrie quantique # théorie des champs conformes # théorie des cordes # théorème de l'indice local

81Q60 ; 81Qxx ; 81R05 ; 81R40 ; 81Rxx

... Lire [+]

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (LYON)

algorithme # algorithme parallèle # application # architecture # encodage # fonction booléenne # graphe # informatique théorique # problème d'interval # reconnaissance # structure et représentation de treillis # treillis booléens

68Q10 ; 68Q20 ; 68Q30 ; 68R10 ; 68Rxx ; 68T10

... Lire [+]

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

Theoretical computer science , 0175

Localisation : Colloque 1er étage (KANA)

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

... Lire [+]

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

Computational geometry , 0007

Localisation : Colloque 1er étage (WATE)

géométrie de l'informatique # infographie

68-06 ; 68U05 ; 68Uxx

... Lire [+]

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

Topology and its applications , 0077

Localisation : Colloque 1er étage (BENI)

application # c-alpha # classificatio de Borel # espace # espace de Baire # fonction continue # groupe topologique # quasi-métrique # résultat de densité # sous-ensemble compact # sous-espace # théorème de Hahn-Banach # topologie # topologie de Bohr

22-06 ; 22-XX ; 46-06 ; 55-06 ; 57-06

... Lire [+]

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

- 178 p.

Topology and its applications , 0088

Localisation : Colloque 1er étage (ATHE)

topologie symplectique # variété # topologie de faible dimension # convexité symplectique # chirurgie # structure de contact # topologie de dimension 4

00B25 ; 57-06

... Lire [+]

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

- 581 p.
ISBN 978-0-444-88806-8

Localisation : Ouvrage RdC (SCHI)

acoustique # application des représentations conformes # mathématique de l'ingénieur # mécanique des fluides # représentation conforme # thermodynamique # vibration # élasticité # électro- magnétisme

30C20 ; 30C25 ; 30C35 ; 76Axx ; 80-XX

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

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

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

- 1324 p.

Localisation : Ouvrage RdC (Hand)

topologie algébrique

55-00

... Lire [+]

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


ISBN 978-0-444-81816-4

allemand # anglais # dictionnaire d'informatique et de mathématiques # français # russe

00A20

... Lire [+]

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

- 497 p.
ISBN 978-0-444-82570-4

Studies in mathematics and its applications , 0027

Localisation : Ouvrage RdC (CIAR)

enveloppe # membrane # physique mathématique # théorie de plaque élastique non linéaire # théorème de plaque # élasticité des plaques # élasticité des structures # élasticité en trois dimension # élasticité linéaire # élasticité non linéaire # équation de Karman

73C05 ; 73Cxx

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

- 329 p.
ISBN 978-0-444-81644-3

Studies in computer science and artificial intelligence , 0013

Localisation : Ouvrage RdC (META)

Prolog # logique mathématique # logique symbolique # programmation logique # prédicat

03-02 ; 68N17

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

- 400 p.
ISBN 978-0-444-82777-7

Studies in computational mathematics , 0007

Localisation : Ouvrage RdC (BREZ)

biorthogonalité # méthode de projection # méthode de type Lanczos # méthode semi-itérative # procédure hybride # projection de Richardson # système d'équation # système linéaire

... Lire [+]

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

- 617 p.
ISBN 978-0-444-89505-9

Studies in logic and the foundations of mathematics , 0136

Localisation : Ouvrage RdC (RYBA)

logique # logique classique # logique non classique # logique non standard # mathématique # règle d'inférence

03-02 ; 03B45 ; 03B60

... Lire [+]

Z