| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 | 978-3-642-45418-9 (3-642-45418-6) | 2014 | S. Tucker Taft · Robert A. Duff · Randall L. Brukardt · Erhard Ploedereder · Pascal Leroy | |
| From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz | 978-1-4471-4281-2 (1-4471-4281-0) | 2012 | Martin Davis |