Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-7 of 7 results for author "Yuan, Jun."
Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
- Text
- New York, NY : Springer, c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text JSE 06-677 Offsite Qian zi wen ji gu / Yuan Jun Kao ji.
- Text
- Beijing : Beijing shi Zhongguo shu dian chu ban, fa xing, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text ND1457.C5 Y94 1986 Off-site Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
- Text
- New York, NY : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text Q340 .Y83 2006g Off-site Zhongguo xin wen shi ye shi jiao cheng / Yuan Jun, Ha Yanqiu zhu.
- Text
- Beijing : Zhongguo guang bo dian shi chu ban she, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text MLC-C Off-site Yuan Jun xi ju ji. 1, Xiao cheng gu shi / Yuan Jun.
- Text
- [Beijing : Beijing zhong xian tuo fang ke ji fa zhan you xian gong si, 2007]
- 2007-1941
- 1 Item
Item details Format Call Number Item Location Text PL2603 .Y83 2007 Off-site Yuan Jun xi ju ji. 1, Xiao cheng gu shi / Yuan Jun.
- Text
- [Beijing] : [Beijing zhong xian tuo fang ke ji fa zhan you xian gong si], [2012]
- 2012-1947
- 1 Item
Item details Format Call Number Item Location Text AC149 .M564 2012 vol.1375 vol.1375 Off-site Yuan Jun xi ju ji. 1, Xiao cheng gu shi / Yuan Jun.
- Text
- [Beijing] : [Beijing zhong xian tuo fang ke ji fa zhan you xian gong si], [2012]
- 2012-1947
- 1 Item
Item details Format Call Number Item Location Text AC149 .M564 2012 vol.1375 vol.1375 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
