| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| An Introduction to Practical Formal Methods Using Temporal Logic | | 978-0-470-02788-2 | 2011 |
| Buckskin | | 6302658829 | 1998 | W. Wallace Kelley · Jack Wheeler · A.C. Lyles |
| Captives, The | | 978-0-09-456940-9 | 1970 |
| Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and ... / Lecture Notes in Artificial Intelligence) | | 978-3-642-02733-8 | 2009 | Fariba Sadri · Michael Thielscher |
| Cries from the Darkness | | 978-0-944276-48-8 | 1989 |
| Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings | | 978-3-540-58976-1 | 1995 | Richard Owens |
| Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers | | 978-3-540-43962-2 | 2002 | Mark d'Inverno · Michael Luck · Christ Preist |
| Gendering American Politics: Perspectives from the Literature | | 978-0-321-09086-7 | 2005 | Karen J. O'Connor · Sarah Brewer |
| Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 | | 978-0-444-51493-6 | 2005 | Dov Gabbay · Lluis Vila |
| The Art of Scalability: Scalable Web Architecture, Processes, and Organizations for the Modern Enterprise | | 978-0-13-703042-2 | 2009 | Martin Abbott |
| Visions of Mughal India: An Anthology of European Travel Writing | | 978-1-84511-354-4 | 2007 | William Dalrymple |
| Voyager, The | | 978-0-09-457370-3 | 1972 |