Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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
- 314 p.
Cote : 00009319
03-04 ; 03Gxx ; 68Qxx
Localisation : Ouvrage RdC (HURS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 120 p.
Cote : 00010403
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- viii; 233 p.
Cote : 00037172
algorithmique # algorithme # informatique # analyse d'algorithme # permutation # marche aléatoire # structure de données # asymptote # complexité # language de Dyck
68Q25 ; 05-04 ; 03D15 ; 05A15 ; 03-04 ; 60G50
Localisation : Ouvrage RdC (KEMP)
English