| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems | 978-3-8348-1494-4 (3-8348-1494-6) | 2011 |
C.H. · Christian Hardy · Christian Haward · Christian Hirt · Christian Hirte · Christian Hoard · Christian Huart · Christiane Herde · Christina Hart · Christine Hardy · Christine Hart · Christine Harte · Christine Heward · Christine Howard · Christine Howarth · Christine Huard · Christine Hurt · Christipher Hart · Christoper Hart · Christophe Hardy · Christophe Hart · Christophe Howard · Christopher Hardy · Christopher Hart · Christopher Harwood · Christopher Heard · Christopher Hird · Christopher Howard · Christopher Hurt · Christophert Hart · Chrystal Hardie · Cristina Hart · Cristobal Howard · Crystal Hardie