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![]()
congrès
FOSSACS 2002 ; ENGBERG U ; NIELSEN M, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2002![]()
congrès
FOSSACS 2003 ; GORDON A D, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2003![]()
congrès
SPIN 2000 ; PENIX J ; VISSER W ; HAVELUND K, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
![]()
congrès
![]()
ouvrage
![]()
ouvrage
![]()
congrès
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
Michael J. O'DONNELL, Auteur | THE MIT PRESS | MIT Press series in the foundations of computing | 1985![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
HERMANNS H ; KATOEN J P ; BRINKSMA E, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2001![]()
congrès
ICTL 94 ; OHLBACH H J ; GABBAY D M, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1994![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
ABRAMSKY S, Éditeur scientifique ; GABBAY D M, Éditeur scientifique ; MAIBAUM T S E, Éditeur scientifique | CLARENDON PRESS | 1992![]()
ouvrage
![]()
congrès
![]()
congrès
![]()
congrès
ICALP 97 ; GORRIERI R ; MARCHETTI SPACCAMELA A ; DEGANO P, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997![]()
congrès
![]()
congrès
![]()
congrès
![]()
congrès
![]()
congrès
LOOS R G K ; MUSSER D R ; JAZAYERI M, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2000![]()
congrès
![]()
congrès
TYPES 96 ; PAULIN MOHRING C ; GIMENEZ E, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1998![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
congrès
KGC 97 ; LEITSCH A ; MUNDICI D ; GOTTLOB G, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
MYCIELSKI J, Éditeur scientifique ; ROZENBERG G, Éditeur scientifique ; SALOMAA A, Éditeur scientifique | SPRINGER VERLAG | LECTURE NOTES IN COMPUTER SCIENCE | 1997![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage