Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00013811
architecture des systèmes # programmation # programme # traitement des données # vérification de programme
68M07 ; 68Mxx ; 68P05 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 567 p.
Cote : 00013817
conception assistée par ordinateur # programmation # specification de programme
68-02 ; 68A05 ; 68A30 ; 68Q60
Localisation : Collection 1er étage
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
- 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
- 419 p.
Cote : 00014296
algorithme # algorithmique # automate # complexité # informatique théorique # sémantique # théorie des automates # type
68Q15 ; 68Q55 ; 68Q68 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 403 p.
Cote : 00016115
algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique
68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 191 p.
Cote : 00010070
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00010305
langage de programmation # langage formel
68F05
Localisation : Colloque 1er étage (GYOR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 162 p.
Cote : 00010456
langage # langage formel # langage naturel # linguistique
68FXX
Localisation : Collection 1er étage
English