Détail d'une collection
Documents disponibles dans la collection (627)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
congrès
CAV 2000 ; SISTLA A P ; EMERSON E A, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000
congrès
CONCUR 2001 ; NIELSEN M ; LARSEN K, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2001
congrès
IPCO 2007 ; WILLIAMSON D P ; FISCHETTI M, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2007
congrès
congrès
TPHOL 99 ; DOWEK G ; HIRSCHOWITZ A ; PAULIN C ; THERY L ; BERTOT Y, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1999
congrès
congrès
FCT 99 ; PAUN G ; CIOBANU G, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1999
congrès
12TH INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE LOGIC, 12. COMPUTER SCIENCE LOGIC CSL 98 : LNCS 1584
CSL 98 ; GRANDJEAN E ; SEYR K ; GOTTLOB G, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1998
congrès
WG 86 ; SCHMIDT G ; TINHOFER G, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1987
congrès
LCPC 99 ; FERRANTE J ; CARTER L, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000
congrès
STACS 96 ; REISCHUK R ; PUECH C, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1996
congrès
congrès
ECOOP 99 ; DEMEYER S ; MOREIRA A, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1999
congrès
congrès
CONCUR 2002 ; JANCAR P ; KRETINSKY M ; KUCERA A ; BRIM L, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2002
