Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
- 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.
- 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.
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.