| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992: Proceedings | Paperback | 978-0-387-55210-1 | 1992 | ||
| Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science Wurzburg, Germany, February 25-27, 1993: Proceedings | " | 978-0-387-56503-3 | 1993 | P. Enjalbert | |
| Systems and Software Verification: Model-Checking Techniques and Tools | Taschenbuch | 978-3-642-07478-3 | 2010 | B. Berard · M. Bidoit · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen | |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 | 2001 | B. Berard · M. Bidoit · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen | |
| Vic-20 Programmer's Reference Guide | Spiral-bound | 978-0-672-21948-1 | 1982 | etc. | |
A.F. · Aaron Finkel · Abem Finkel · Adam Finkel · Adam M. Finkel · Adrien Finkel · Alain Finkel · Alan Finkel · Alvin Finkel · Alvin Finkel (Author), Donald Fyson (Author) Margaret Conrad (Author) · Andrei Finkel · Andrew Finkel · Andrew Finkel Beck · Auraham Yaakou Finkel · Avraham Y. Finkel · Avraham Yaakov Finkel · Finkel A. · Martin A. Finkel · Martin A. Finkel DO FACOP FAAP · Noah A. Finkel · Raphael A. Finkel