| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Advanced Techniques in Logic Synthesis, Optimizations and Applications | Hardcover | 978-1-4419-7517-1 (1-4419-7517-9) | 2010 | Victor Kravets · Smita Krishnasamy · Nilesh Modi · Robert Brayton · Ruchir Puri |
| The Unknown Component Problem: Theory and Applications | Paperback | 978-1-4899-7394-8 (1-4899-7394-X) | 2014 | Tiziano Villa · Nina Yevtushenko · Robert K. Brayton · Alexandre Petrenko · Alberto Sangiovanni-Vincentelli |
| The Unknown Component Problem: Theory and Applications | Hardcover | 978-0-387-34532-1 (0-387-34532-9) | 2011 | Tiziano Villa · Nina Yevtushenko · Robert K. Brayton · Alexandre Petrenko · Alberto Sangiovanni-Vincentelli |
A.M. · Alain Mousseigne · Alan McHughen · Alan Mushegan · Allan Magaziner