Presses internationales Polytechnique · Springer
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Barrages, crues de rupture et protection civile | 978-2-553-01414-7 (2-553-01414-7) | ||
| Constraints in Computational Logics. Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised ... Notes in Computer Science , Band 2002) | 978-3-540-41950-1 (3-540-41950-0) | 2008 | Hubert Comon · Ralf Treinen |
| Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers | 978-3-642-18069-9 (3-642-18069-8) | 2011 | Bernhard Beckert · Claude Marché |
C.M. · Celt Marek · Cholody Mariusz · Claud Morris · Claude La Marche · Claude Marks · Claude Mauriac · Claude Mayers · Claude Morizio · Claude Murcia · Claudia Mareis · Claudia Marx · Claudia Mayorga · Claudia Merk · Claudia Mork · Claudio Moraga · Claudio Morgia · Colette Moreaux