m

Documents  Elsevier | enregistrements trouvés : 75

O

-A +A

P Q

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.

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

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.


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.

- 363 p.
ISBN 978-0-444-50075-5

North-Holland mathematics studies

Localisation : Ouvrage RdC (WHIT)

combinatoire # théorie topologique des graphes # graphe et groupe # groupe des automorphismes # surface # graphe de Cayley # problème de recouvrement # coloriage # hypergraphe # corps fini # géométrie finie # plongement de graphe

05-01 ; 05C10 ; 05C25 ; 20B25 ; 57M15

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

- viii; 157 p.
ISBN 978-0-08-100774-7

Localisation : Ouvrage RdC (SEN)

zéro # philosophie # histoire des mathématiques

00A30 ; 03A05

... Lire [+]

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

- 487 p.
ISBN 978-0-444-51831-6

North-Holland mathematics studies , 0208

Localisation : Ouvrage RdC (SEGA)

fonction une variable complexe # développement série # fonction géometrique # fonction méromorphe # analyse complexe # fonction elliptique

30-01 ; 33E05 ; 30Axx ; 30Bxx ; 30Cxx ; 30Dxx

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

- 1027 p.
ISBN 978-0-444-82537-7

Localisation : Ouvrage RdC (Hand)

analyse numérique # informatique # géométrie algorithmique # structure géométrique de données # structure de données spaciales # arrangement # diagramme de Voronoi # décomposition de polygône # algorithme aléatoire # calcul parallèle # visibilité # problème de distance de point # similarité des objects géométriques # suite de Davenport-Schinzel # application # dessin de graphe

65-00 ; 65D18 ; 65-06 ; 68-06 ; 68U05 ; 00B15

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

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

- xvii; 394 p.
ISBN 978-0-444-63431-3

Handbook of statistics , 0032

Localisation : Ouvrage RdC (COMP)

statistiques computationnelles # logiciel R # environnement R # graphique R # calcul de la taille d'un échantillon # régression binômiale # réseau Bayesien # tolérance

62-00 ; 62-04 ; 68N15 ; 62-06 ; 62-07 ; 62-09 ; 65C60 ; 68-XX

... Lire [+]

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

- 538 p.
ISBN 978-0-12-532111-2

Pure and applied mathematics , 0141

Localisation : Ouvrage RdC (PERR)

language formel # linguistique # automate # logique # mot infini # mot fini # combinatoire des mots # arbre infini

68Q45 ; 68R15 ; 68-01 ; 68-02 ; 20M35 ; 91A80

... Lire [+]

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

- 258 p.
ISBN 978-0-444-52832-2

Mathematics in science and engineering , 0209

Localisation : Ouvrage RdC (MISH)

mesure et intégration # fractale # images fractales

28-99 ; 28A80

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

Z