Catégories
Documents disponibles dans cette catégorie (91)

![]()
congrès
STACS 94 ; MAYR E W ; WAGNER K W ; ENJALBERT P, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1994![]()
congrès
CONCUR 2000 ; PALAMIDESSI C, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
STACS 97 ; MORVAN M ; REISCHUK R, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997![]()
congrès
CSL 2000 ; SCHWICHTENBERG H ; CLOTE P G, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
FOIKS 2000 ; THALHEIM B ; SCHEWE K D, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
EMSOFT 2001 ; KIRSCH C ; HENZINGER T, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 2001![]()
congrès
FST TCS 2000 ; PRASAD S ; KAPPOR S, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
![]()
congrès
![]()
congrès
FST TCS 2001 ; MUKUND M ; VINAY V ; HARIHARAM R, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2001![]()
congrès
![]()
congrès
EMSOFT 2002 ; SIFAKIS J ; SANGIOVANNI VINCENTELLI A, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCEILGRENOBLE | 2002![]()
congrès
IFM 2000 ; SANTEN T ; STODDART B ; GRIESKAMP W, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
LFCS 97 ; NERODE A ; ADIAN S, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997![]()
congrès
HSCC 2001 ; SANGIOVANNI VINCENTELLI A L ; DI BENEDETTO M D, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2001