Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-4-274-07221-5
Localisation : Colloque 1er étage (TOKY)
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini
68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx
... 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.
- 524 p.
ISBN 978-3-540-40753-9
Lecture notes in computer science , 2761
Localisation : Collection 1er étage
ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau
68-06 ; 68Q85 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 364 p.
ISBN 978-3-540-10828-3
Lecture notes in computer science , 0112
Localisation : Collection 1er étage
algèbre # arbres # grammaire # programmation
68B15 ; 68E10
... 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.
- 412 p.
ISBN 978-3-540-66907-4
Lecture notes in computer science , 1745
Localisation : Collection 1er étage
HiPC # architecture des processus # compilation # débit à haute fréquence # informatique # mathématique de l informatique # mécanique de programmation # outil de l informatique # performance des systèmes # planificationn # programmation # système d exploitation
68-06 ; 68M10 ; 68Q22 ; 68Qxx
... 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.
- 478 p.
ISBN 978-3-540-10699-9
Lecture notes in computer science , 0107
Localisation : Collection 1er étage
informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation
68-02 ; 68A05 ; 68A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 723 p.
ISBN 978-3-540-56503-1
Lecture notes in computer science , 0665
Localisation : Collection 1er étage
algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage
68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 782 p.
ISBN 978-3-540-57785-0
Lecture notes in computer science , 0775
Localisation : Collection 1er étage
algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # sémantique # technique de programmation
algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # ...
68-06 ; 68M05 ; 68Mxx ; 68N05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-3-540-16443-2
Lecture notes in computer science , 0214
Localisation : Collection 1er étage
arbre # grammaire # graphe # sémantique # syntaxe
68Q50 ; 68Q55 ; 68R10
... 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.
- 761 p.
ISBN 978-3-540-56610-6
Lecture notes in computer science , 0668
Localisation : Collection 1er étage
analyse des algorithmes # calcul informatique # calcul parallèle # informatique théorique # langage de programmation # logique et arborescence # logique et spécification des programmes # programmation concurrente # spécification # système # système concurrent
68Q10 ; 68Q25 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 770 p.
ISBN 978-3-540-54415-9
Lecture notes in computer science , 0526
Localisation : Collection 1er étage
complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types
68Pxx ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 391 p.
ISBN 978-3-540-62031-0
Lecture notes in computer science , 1179
Localisation : Collection 1er étage
architecture des systèmes informatiques # architecture parallèle # programmation parallèle # réseau # spécification et verification de système
68Q60 ; 68Qxx ; 94Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 468 p.
ISBN 978-3-540-13883-9
Lecture notes in computer science , 0181
Localisation : Collection 1er étage
algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données
68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx
... 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.
- 628 p.
ISBN 978-3-540-64230-5
Lecture notes in computer science , 1373
Localisation : Collection 1er étage
algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation
68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... 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.
- 762 p.
ISBN 978-3-540-54233-9
Lecture notes in computer science , 0510
Localisation : Collection 1er étage
algorithme # automate # complexité # langage des automates # langage forme # programmation fonctionnelle # programmation # programmation logique
68Q68
... Lire [+]
