Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 540 p.
Cote : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications
68N05 ; 68N15 ; 68Q10 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 523 p.
Cote : 00013419
algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware
68Q40 ; 68Q60 ; 68Q65
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 237 p.
Cote : 00013752
architecture parallèle # gestion des systèmes informatiques # processeur en parallèle # programmation parallèle # réseaux # système informatique # traitement parallèle # transputer
68M10 ; 68Q22 ; 68Q30
Localisation : Ouvrage RdC (Tran)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 122 p.
Cote : 00010484
circuit intégré # conception de type de circuit intégré # construction de langage # langage # programmation parallèle
68C05 ; 68C25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 255 p.
Cote : 00010485
informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma
68B10 ; 68C05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 311 p.
Cote : 00011521
algorithme # inférence parallèle # intelligence artificielle # langage de programmation # langage de programmation logique # logique de programmation # logique mathématiques # machine # programmation # prolog
68N15 ; 68N20 ; 68Q20 ; 68T25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 185 p.
Cote : 00012693
68-06 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 216 p.
Cote : 00013565
analyse des programmes # automate # circuit # commande combinatoire # commande non combinatoire # configuration des réseaux # réseau informatique # translation # vérification de programme
68B10 ; 68D10 ; 68FXX ; 94Cxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 573 p.
Cote : 00013910
architecture des réseaux # architecture des systèmes # parallèle # processeurs # programmation prarallèle # protocole # réseaux # spécification # système distribués
08N25 ; 68Q10 ; 68Q22
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 398 p.
Cote : 00013916
langage de requète # programmation parallèle # spécification # vérification de programme
68Q10
Localisation : Collection 1er étage
English