Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 249 p.
ISBN 978-0-8218-2053-7
DIMACS series in discrete mathematics and theoretical computer science , 0054
Localisation : Collection 1er étage
calcul moléculaire # calcul sur les bases d'ADN # informatique # modèle de calcul # mode calculatoire # biologie # ADN # biomathématique # génétique # bioinformatique # biophysique # combinatoire
68-02 ; 68Q05 ; 68Q10 ; 68M99 ; 92-00 ; 92B05 ; 92B20 ; 92C05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 620 p.
ISBN 978-3-540-55092-1
Lecture notes in computer science , 0571
Localisation : Collection 1er étage
calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel
68M20 ; 68Q05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 305 p.
ISBN 978-3-540-17218-5
Lecture notes in computer science , 0246
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 741 p.
ISBN 978-3-540-19488-0
Lecture notes in computer science , 0317
Localisation : Collection 1er étage
algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données
68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 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.
- 592 p.
ISBN 978-3-540-61550-7
Lecture notes in computer science , 1113
Localisation : Collection 1er étage
aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d
68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 541 p.
ISBN 978-3-540-60017-6
Lecture notes in computer science , 0933
Localisation : Collection 1er étage
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 371 p.
ISBN 978-3-540-63757-8
Lecture notes in computer science , 1335
Localisation : Collection 1er étage
analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes
68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 680 p.
ISBN 978-3-540-61440-1
Lecture notes in computer science , 1099
Localisation : Collection 1er étage
algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information
68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-0-8218-0992-1
DIMACS series in discrete mathematics and theoretical computer science , 0045
Localisation : Collection 1er étage
algorithme # analyse # application # combinatoire # cryptographie # graphe # industrie # mathématique appliquée # mobile # passage # protocole réseau # réseau ATM # réseau de communication # réseau radio # système distribué # théorie des graphes # traitement des données # électronique
05C05 ; 05C10 ; 05C38 ; 05C85 ; 05C90 ; 68M07 ; 68M10 ; 68M20 ; 68Q05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 328 p.
ISBN 978-3-540-16766-2
Lecture notes in computer science , 0227
Localisation : Collection 1er étage
algorithme vlsi # algorithmique # architecture # informatique parallèle # processeur
68Q05 ; 68Q10 ; 68Q35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 358 p.
ISBN 978-0-8218-2084-1
Proceedings of symposia in applied mathematics , 0058
Localisation : Collection 1er étage
théorie quantique # calcul quantique # algorithme quantique # complexité quantique # code correcteur d'erreur # cryptographie quantique
81-01 ; 81-02 ; 81P68 ; 68Q05 ; 94A60
... 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.
- 474 p.
ISBN 978-3-540-16761-7
Lecture notes in computer science , 0226
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-85-244-0094-0
Localisation : Salle de manutention
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...
03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-85-244-0094-0
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...
03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-0131-4
Proceedings of symposia in applied mathematics , 0038
Localisation : Collection 1er étage
complexite # informatique # theorie de la complexite
68Q05 ; 68Q10 ; 68Q20 ; 68Q75
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 147 p.
ISBN 978-0-8218-3600-2
Contemporary mathematics , 0381
Localisation : Collection 1er étage
théorie quantique # théorie des codes # calcul quantique # cryptographie # informatique # base de Gröbner # courbe algébrique
81P68 ; 68Q05 ; 94B05 ; 05E20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 295 p.
ISBN 978-4-931469-02-0
Msj memoirs , 0002
Localisation : Colloque 1er étage (TOKY)
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types
03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05
... Lire [+]
