Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 724 p.
Cote : 00014115
architecture des processeurs # gestion de systemes # graphe # langage de programmation # réseau de Pietri # stochastique # technique de programmation # théorie des modeles
68M10 ; 68Mxx ; 90B15 ; 94A05
Localisation : Ouvrage RdC (High)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00022074
algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes
05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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
- 478 p.
Cote : 00013859
informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation
68-02 ; 68A05 ; 68A30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 208 p.
Cote : 00013961
calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation
68N05 ; 68N15 ; 68Q40 ; 68R15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 422 p.
Cote : 00013970
langage de programmation # programmation # technique de programmation
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 285 p.
Cote : 00014301
système temps réel # temps réel
68M15 ; 68Mxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 316 p.
Cote : 00015601
conception et sémantique # informatique théorique # langage objet-orienté parallèle # logique # mode de calcul # parallélisme # programmation parallèle
68Q10 ; 68Q55
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 435 p.
Cote : 00020980
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
Localisation : Collection 1er étage
English