Catégories
Documents disponibles dans cette catégorie (91)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
ouvrage
ouvrage
ouvrage
HERMANNS H ; KATOEN J P ; BRINKSMA E, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2001congrès
ICTL 94 ; OHLBACH H J ; GABBAY D M, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1994ouvrage
ouvrage
ouvrage
ouvrage
ouvrage
ABRAMSKY S, Éditeur scientifique ; GABBAY D M, Éditeur scientifique ; MAIBAUM T S E, Éditeur scientifique | CLARENDON PRESS | 1992ouvrage
congrès
congrès
congrès
ICALP 97 ; GORRIERI R ; MARCHETTI SPACCAMELA A ; DEGANO P, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997congrès