Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)
Cyclodextrin Chemistry: Preparation and Application
  • PDF
  • English
  • Year: 2013
  • Author: Zhengyu Jin, Zhengyu Jin
Advanced Fuzzy Systems Design and Applications
  • PDF
  • english
  • Year: 2003
  • Author: Yaochu Jin
Functional Starch and Applications in Food
  • PDF
  • English
  • Year: 2018
  • Author: Zhengyu Jin
中國民本思想史 /Zhong guo min ben si xiang shi
  • PDF
  • Chinese
  • Year: 1997
  • Author: Jin, Yaoji