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
- 164 p.
Cote : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel
03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20
Localisation : Collection 1er étage
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
- 112 p.
Cote : 00010389
automatique # complexité # informatique théorique # langage formel # langage naturel # processus
68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 671 p.
Cote : 00012096
automate # complexité # informatique théorique # progammation # théorie des langages
68-XX
Localisation : Collection 1er étage