Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 370 p.
ISBN 978-3-540-64824-6
Lecture notes in computer science , 1449
Localisation : Collection 1er étage
algorithme # analyse d"algorithme # combinatoire # complexité calculatoire # cryptographie # géométrie calculatoire # informatique # processus distribué # processus parallèle # reseau commuté # structure de données # théorie des graphes
05-06 ; 68-06 ; 68Q25 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-0-8218-1184-9
DIMACS series in discrete mathematics and theoretical computer science , 0050
Localisation : Collection 1er étage
algorithme de calcul # algorithme numérique # algorithmique # algèbre numérique # calcul des algorithmes numériques # calcul parallèle # complexité des algorithmes # gestion de mémoire # infographie # informatique théorique # mathématique discrète # modèle de calcul # structure des données # traitement des données
65Fxx ; 65Y20 ; 68Pxx ; 68Q05 ; 68Q25 ; 68R01 ; 68R10 ; 68U05 ; 68W01 ; 68W40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 414 p.
ISBN 978-3-540-66731-5
Lecture notes in computer science , 1665
Localisation : Collection 1er étage
algorithme # classe de complexité # complexité des algorithmes # géométrie de l informatique # informatique théorique # logique et spécification de programme # logique mathématique # mathématique discrète # mode de calcul # strucutre de données # théorie des graphes
00B25 ; 05-06 ; 68-06 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pp. 1059-1758
ISBN 978-2-903677-67-1
Localisation : Colloque 1er étage (PARI)
CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images
68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx
... 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.
- 329 p.
ISBN 978-3-540-61064-9
Lecture notes in computer science , 1059
Localisation : Collection 1er étage
algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme
68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 782 p.
ISBN 978-3-540-58201-4
Lecture notes in computer science , 0775
Localisation : Collection 1er étage
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...
68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 695 p.
ISBN 978-3-540-56939-8
Lecture notes in computer science , 0700
Localisation : Collection 1er étage
calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation
68N05 ; 68Nxx ; 68P05 ; 68P25 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 214 p.
ISBN 978-3-540-56730-1
Lecture notes in computer science , 0677
Localisation : Collection 1er étage
combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve
68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 788 p.
ISBN 978-3-540-51371-1
Lecture notes in computer science , 0372
Localisation : Collection 1er étage
algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve
68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 309 p.
ISBN 978-3-540-62592-6
Lecture notes in computer science , 1203
Localisation : Collection 1er étage
analyse des algorithmes # calcul # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # modélisation d'objet # problème de complexité # structure des données
68Q22 ; 68U05 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
ISBN 978-3-540-62221-5
Lecture notes in computer science , 1183
Localisation : Collection 1er étage
gestion des données # informatique théorique # outils de l'informatique théorique et système # simulation et modélisation # structure des données # système informatique # visualisation des données
68-XX ; 68Mxx ; 68P05 ; 68P15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 310 p.
ISBN 978-3-540-62592-6
Lecture notes in computer science , 1203
Localisation : Collection 1er étage
algorithme # calcul informatique # complexité des algorithmes # géométrie de l'informatique # informatique graphique # mathématique discrète # mode de calcul # modèle de calcul # modélisation d'objet # méthodologie # structure des données
68P05 ; 68Q05 ; 68Q10 ; 68Q25 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
ISBN 978-3-540-62221-5
Lecture notes in computer science , 1183
Localisation : Collection 1er étage
calcul # gestion de système d'information # gestion des fichiers # informatique # modélisation # méthodologie # simulation # structure des données # système d'information # traitement des donées
68P05 ; 68Pxx ; 68Qxx ; 68U20 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 406 p.
ISBN 978-3-540-60618-5
Lecture notes in computer science , 1017
Localisation : Collection 1er étage
3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur surface # informatique et théorie des graphes # isomorphisme de graphes # mailles de dimension 2 et 3 # malléabilité # reconnaissance de graphe de droites # réécriture de graphe # schéma de routage # sous-graphe induit # structure de données compactes
3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur ...
05-06 ; 05Cxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 433 p.
ISBN 978-3-540-60249-1
Lecture notes in computer science , 0965
Localisation : Collection 1er étage
algorithme et structure de données # automate et langage formel # calculabilité et complexité # catégorie et type # fondement d'informatique théorique # fondement des spécifications de système # géométrie informatique # logique informatique # parallélisme et concurrence # réécriture et système de remplacement de haut niveau # sémantique # théorie de l'apprentissage
68-06 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 683 p.
ISBN 978-3-540-60084-8
Lecture notes in computer science , 0944
Localisation : Collection 1er étage
algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique
68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 351 p.
ISBN 978-3-540-57879-6
Lecture notes in computer science , 0787
Localisation : Collection 1er étage
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...
68P05 ; 68Q10 ; 68Qxx ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 719 p.
ISBN 978-3-540-55719-7
Lecture notes in computer science , 0623
Localisation : Collection 1er étage
algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus
68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 521 p.
ISBN 978-3-540-55808-8
Lecture notes in computer science , 0629
Localisation : Collection 1er étage
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...
68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx
... Lire [+]