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 [+]
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
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.
- 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.
- 518 p.
ISBN 978-3-540-17179-9
Lecture notes in computer science , 0241
Localisation : Collection 1er étage
algorithme # calcul distribué # calcul en temps réel # calcul paralèlle # circuit integré # complexité # parallèle # programmation # réseaux
68Q22
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 521 p.
ISBN 978-3-540-16042-7
Lecture notes in computer science , 0206
Localisation : Collection 1er étage
algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme
68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx
... 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.
- 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.
- 606 p.
ISBN 978-3-540-07854-8
Lecture notes in computer science , 0045
Localisation : Collection 1er étage
algorithme # complexité # ordinateur # programmation # système informatique
00Bxx ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 402 p.
ISBN 978-3-540-54869-0
Lecture notes in computer science , 0555
Localisation : Collection 1er étage
algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux
68M10 ; 68M15 ; 68Q10 ; 68Uxx
... 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 [+]
