m

F Nous contacter

0

Documents  68Q42 | enregistrements trouvés : 33

O

-A +A

P Q

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

Research schools

68Q25 ; 68Q42 ; 90C39 ; 92D20 ; 92E10

... Lire [+]

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

- 723 p.
ISBN 978-0-8218-0479-7

DIMACS series in discrete mathematics and theoretical computer science , 0035

Localisation : Disparu

algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

... Lire [+]

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

- 440 p.
ISBN 978-3-540-15976-6

Lecture notes in computer science , 0202

Localisation : Collection 1er étage

algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique

68Q42

... Lire [+]

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

- 435 p.
ISBN 978-3-540-61464-7

Lecture notes in computer science , 1103

Localisation : Collection 1er étage

algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-0916-7

DIMACS series in discrete mathematics and theoretical computer science , 0043

Localisation : Collection 1er étage

algorithmes # biomathématique # informatique théorique # intelligence artificielle # langage formel # mathématique économique # optimisation # processus stochastique # théorie de la decision # théorie du controle # économétrie

03B05 ; 68Q10 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

- xvi; 279 p.
ISBN 978-2-85629-363-8

Séminaires & congrès , 0026

Localisation : Collection 1er étage

Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # Homologie des E_n-algèbres # identités entre les relations # méthodes de renormalisation perturbatives # n-catégorie # opérade # opérade des petits disques # polygraphe # pro # prop # présentation par générateurs et relations # réécriture # réécriture de diagrammes # renormalisation # S-modules # théorèmes de PBW # théorèmes libres # théorie algébrique # treillis de Tamari # tresse # type de dérivation fini Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # ...

05C05 ; 06A11 ; 08B20 ; 16S15 ; 16G20 ; 17B35 ; 17D99 ; 18D05 ; 18C10 ; 18G15 ; 18D20 ; 18G55 ; 55P48 ; 55R80 ; 55U99 ; 57T30 ; 68Q05 ; 68Q12 ; 68N18 ; 68Q25 ; 68W30 ; 68Q42

... Lire [+]

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

- 461 p.
ISBN 978-0-8218-0834-4

DIMACS series in discrete mathematics and theoretical computer science , 0040

Localisation : Collection 1er étage

analyse combinatoire # analyse de réseaux # informatique théorique # mathématiques de l'économie # mathématiques discretes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche optionnelle # théorie de la décision # théorie de recherche # économétrie

03B05 ; 68Q15 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

- 249 p.
ISBN 978-0-8218-1004-0

DIMACS series in discrete mathematics and theoretical computer science , 0046

Localisation : Collection 1er étage

algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

03B05 ; 68Q25 ; 68Q42 ; 68R10 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

Mathématiques et informatique

Localisation : Colloque 1er étage (PARI)

automate # décidabilité # logique # mathématique discrète # mathématiques et informatique # matroïde # opérateur # réécriture des systèmes

68N05 ; 68Q42 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection 1er étage

algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture

68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx

... Lire [+]

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

- 375 p.
ISBN 978-0-8218-0842-9

DIMACS series in discrete mathematics and theoretical computer science , 0048

Localisation : Collection 1er étage

ADN # algorithme de graphe # algorithme distribué # algorithme parallèle # biomathématique # calcul formel # informatique théorique # langage formel # mode calculatoire # molécule # réécriture de système

05C85 ; 68-06 ; 68Q05 ; 68Q10 ; 68Q22 ; 68Q42 ; 68Q45 ; 92-06

... Lire [+]

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

- 221 p.
ISBN 978-0-8218-0518-3

DIMACS series in discrete mathematics and theoretical computer science , 0027

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # automate de tessellation # calcul parallèle # calcul, processeur # classe de complexité # informatique théorique # itérativité # réécriture de système # structure cellulaire

68Q05 ; 68Q10 ; 68Q15 ; 68Q22 ; 68Q42

... Lire [+]

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

- 385 p.
ISBN 978-981-02-4380-7

Localisation : Colloque 1er étage (AACH)

informatique # langage formel # automate # langage de programmation # grammaire # équation de mots # combinatoire # théorie des codes # mot # méthode algébrique # base de données # analyse grammaticale

68-06 ; 68Q42 ; 68Q45

... Lire [+]

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

- 642 p.
ISBN 978-3-540-60105-0

Lecture notes in computer science , 1000

Localisation : Collection 1er étage

algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...

68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx

... Lire [+]

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

- 427 p.
ISBN 978-3-540-55789-0

Lecture notes in computer science , 0626

Localisation : Collection 1er étage

gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

... Lire [+]

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

- 301 p.
ISBN 978-3-540-11607-3

Lecture notes in computer science , 0144

Localisation : Collection 1er étage

algorithme # algèbre informatique # application # règle de réécriture # structure algébrique # système # type de données abstraites

68-06 ; 68Q42 ; 68Q65 ; 68Qxx

... Lire [+]

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

- 224 p.
ISBN 978-0-8218-3483-1

Contemporary mathematics , 0349

Localisation : Collection 1er étage

théorie des groupes # groupe de permutation # groupe non-abélien # théorie quantique # informatique # algorithme # groupe d'automorphisme # calcul quantique

20B40 ; 20E05 ; 20F28 ; 81P68 ; 68Q05 ; 68Q17 ; 68Q42 ; 68Q45 ; 68T05

... Lire [+]

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

- 416 p.
ISBN 978-3-540-12727-7

Lecture notes in computer science , 0159

Localisation : Collection 1er étage

algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 68Qxx

... Lire [+]

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

- 457 p.
ISBN 978-3-540-55873-6

Lecture notes in computer science , 0632

Localisation : Collection 1er étage

arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog

68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42

... Lire [+]

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

Research schools

68Q25 ; 68Q42 ; 68Q87 ; 90C39 ; 92D20 ; 92C40

... Lire [+]

Z