Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 144 p.
Cote : 00005087
science informatique # formule de langage # grammaire # logique mathématique et fondation # théorie de la comptabilité et de la récursion # automates et grammaires formelles en liaison avec des questions logiques
00A30 ; 03Bxx ; 68F05
Localisation : Ouvrage RdC (SALO)
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
- 431 p.
Cote : 00010594
algèbre linéaire # informatique théorique # langage # langage formel
68A25 ; 68D30 ; 68DXX ; 68F05
Localisation : Ouvrage RdC (KUIC);Réserve
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
- 594 p.
Cote : 00007410
68F05
Localisation : Ouvrage RdC (HARR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 563 p.
Cote : 00007493
68F05 ; 68FXX
Localisation : Ouvrage RdC (FLAN)
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
- 209 p.
Cote : 00010383
automate cellulaire # biologie génétique # fonction de calcul # fonction de traitement # informatique # langage formel # langage pour automate # simulation
68C30 ; 68D20 ; 68F05 ; 68G40 ; 68J10
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
- 431 p.
Cote : 00010629
l système # langage # lindenmeyer système # linguistique # théorie des langages
68D22 ; 68F05 ; 68F10 ; 92015
Localisation : Ouvrage RdC (ROZE)