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

![]()
ouvrage
![]()
congrès
![]()
congrès
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, 10. COMPUTER AIDED VERIFICATION : LNCS 1427
CAV 98 ; VARDI M Y ; HU A J, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1998![]()
congrès
![]()
congrès
![]()
congrès
![]()
congrès
![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
Céline CHEVALIER, Auteur ; Walter APPEL, Auteur ; Emmanuel CORNET, Auteur ; & al., Auteur | H AND K | MINIMAX | 2009![]()
ouvrage
![]()
ouvrage
![]()
ouvrage
![]()
congrès
LYEE W02 ; JOHANNESSON P ; FUJITA H, Éditeur scientifique | IOS PRESS | FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS | 2002![]()
ouvrage