| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Taschenbuch | 978-3-540-88386-9 | 2008 | Sungdeok Steve Cha · Moonzoo Kim · Insup Lee · Mahesh Viswanathan | |
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | － | 978-3-540-88422-4 | 2008 | Sungdeok (Steve) Cha · Moonzoo Kim · Insup Lee · Mahesh Viswanathan | |
| Minoritized Women Reading Race and Ethnicity: Intersectional Approaches to Constructed Identity and Early Christian Texts | Hardcover | 978-1-4985-9158-4 | 2020 | Angela Parker · Janette H. Ok · Jennifer T. Kaalund · Jung H. Choi · Mitzi J. Smith | |
| Postcolonial Discipleship of Embodiment: An Asian and Asian American Feminist Reading of the Gospel of Mark | " | 978-1-137-54154-3 | 2015 | ||
J C · J. Choi · J. Y · J. Young · Jin Choi
Lexington Books · Palgrave Macmillan · Springer