Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Cote : 00010131
algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique
68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx
Localisation : Colloque 1er étage (AMST)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 147 p.
Cote : 00010401
algorithme # informatique # système informatique
68A10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. mult.
Cote : 00010452
algol60 # apl # équ ation différentielle # langage de programmation # programmation mathématiques # résolution numérique d'équation différentielle # stabilité
34-06 ; 34Dxx ; 35-06 ; 35B35 ; 65L05
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
- 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
- 684p.
Cote : 00030012
informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle
00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 149 p.
Cote : 00010402
algorithme # langage formel # linguistique # programmation # système informatique
68A05 ; 68A10 ; 68A30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 108 p.
Cote : 00010440
informatique # programmation # système informatique # théorie de la programmation
68A05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Cote : 00010422
complexité # fondements de l'informatique # informatique # programmation # recherche de l'information
68A05 ; 68A20 ; 68A50
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
English