Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 218 p.
Cote : 00010392
algol68 # informatique # système superviseur # traitement parallèle # traitement de série
68-04 ; 68B20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 723 p.
Cote : 00021718
algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage
68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 246 p.
Cote : 00013902
algorithme # booléen # discret # fonction discrète # mathématiques discrètes # matrices booléennes # p-fonctions
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 301 p.
Cote : 00021536
algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme
00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01
Localisation : Ouvrage RdC (SCHM)
English