| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Balades à la Guadeloupe | 978-2-7191-0476-7 | 2000 | Bruno Pambour | |
| Compiling Esterel | 978-0-387-70626-9 | 2007 | Dumitru Potop-Butucaru · Stephen A. Edwards · Gerard Berry | |
| Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | 978-3-540-42345-4 | 2008 | Gerard Berry · Hubert Comon · Alain Finkel | |
| Penser, modéliser et maîtriser le calcul informatique | 978-2-213-65421-8 | 2009 | ||
| Pourquoi et comment le monde devient numérique | 978-2-213-63591-0 | 2008 | ||