| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Verification: An Essential Toolkit for Modern VLSI Design | 978-0-12-800727-3 (0-12-800727-3) | 2015 | Tom Schubert · M V Achutha Kiran Kumar |
| Math Mutation Classics: Exploring Interesting, Fun and Weird Corners of Mathematics | 978-1-4842-1891-4 (1-4842-1891-4) | 2016 | |
E. Seligman · Eric Salzman · Eric Schlozman · Eric Schulzinger · Erica Salkin · Erika Sulzmann