Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 192 p.
Cote : 00013281
arithmétique # calcul formel # division d'entiers # parallélisme # pgcd d'entiers # polynômes # précision infinie # système de calcul formel # vectorisation
68Mxx ; 68Q10 ; 68Qxx
Localisation : Ouvrage RdC (ROCH)
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
- 361 p.
Cote : 00010866
data processus # fiabilité des systèmes informatiques # informatique théorique # mathématiques de l'informatique # système informatique # teste des systèmes informatiques
68B15 ; 68B20 ; 68EXX ; 68Mxx ; 68Pxx
Localisation : Ouvrage RdC (Scien)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 172 p.
Cote : 00010944
analyse factorielle # classification automatique # essai thérapeutique # micro-circuit # système informatique # vlsi
62H30 ; 62Hxx ; 68M20 ; 68Mxx
Localisation : Ouvrage RdC (TRIC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 436 p.
Cote : 00011195
informatique # système d'exploitation # système informatique
68Mxx
Localisation : Ouvrage RdC (KRAK)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 305 p.
Cote : 00011511
algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture
68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 161 p.
Cote : 00012720
architecture des ordinateurs
68Mxx
Localisation : Ouvrage RdC (TABA)
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
- 374 p.
Cote : 00013908
algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données
68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25
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)
English