m

F Nous contacter

0

Documents  Rosenberg, G. | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 233 p.
ISBN 978-0-8176-4120-7

Progress in mathematics , 0176

Localisation : Collection 1er étage

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

... Lire [+]

Z