Rocquencourt
| Année | Titre | Pages |
|---|---|---|
| 2009 | OpenViBE | — |
| 1998 | L'Internet de A à Z | — |
| 1995 | JFLA 95 | 251 |
| 1992 | Dessin de caractères assisté par ordinateur | — |
| 1 |
| Centre commun d'études de télédiffusion et télécommunications. Cesson-Sévigné, Ille-et-Vilaine | 1 |
| Catherine Roucairol | 1 |
| Serge Steer | 1 |
| Pierre Deransart | 1 |
| Colloque sur la décision parlementaire et l'informatique (1978 ; Paris) | 1 |
| 1991 |
| Logique et informatique, une introduction |
| 257 |
| 1990 | Le Document électronique | 216 |
| 1990 | Software development in a distributed environment | 199 |
| 1989 | Contribution à l'étude de la commande et du filtrage optimaux des systèmes implicites réguliers | 73 |
| 1989 | Méthodes numériques d'optimisation | 84 |
| 1989 | Protocoles de communication et programmation par objets | 157 |
| 1989 | Simulation numérique des dispositifs électroniques à hétérojonctions | 229 |
| 1988 | Conception et réalisation d'outils statistiques et d'intelligence artificielle pour l'aide à la planification du réseau de transport d'Électricité de France | 251 |
| 1988 | Etude numérique de modèles mathématiques décrivant la propagation de flammes dans un milieu gazeux bidimensionnel | 188 |
| 1988 | Extensions du hachage digital | 246 |
| 1988 | Langages multibases pour l'interopérabilité de bases relationnelles | 235 |
| 1988 | Le Système SAM, métacompilation très efficace à l'aide d'opérateurs sémantiques | 302 |
| 1988 | Les Périodiques conservés au Centre de documentation de l'INRIA [Institut national de recherche en informatique et en automatique] | 132 |
| 1988 | Logiques, catégories et machines | 124 |
| 1988 | Microprogrammation, architectures, langages à objets | 245 |
| 1988 | Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs | 237 |