Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 233 p.
Call n° : 00023430
arbre # arbre réticulé # groupe de Lie # groupe de Lie compacte # théorie des graphes # théorie des groupes # théorie des groupes géométriques # topologie de faible dimension
05C05 ; 05C25 ; 20D05 ; 20E06 ; 20E08 ; 20E18 ; 20H05 ; 22E40 ; 22Exx ; 57M15
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 684p.
Call n° : 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
Location : Collection 1er étage