نتایج جستجو
Constraint-Based Verification
Jun Yuan, 2006
Semantic Technology: 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu (eds.), 2016
竞逐富强 : 公元1000年以来的技术, 军事与社会 /Jing zhu fu qiang : gong yuan 1000 nian yi lai de ji zhu . jun shi yu she hui
Ni, Daxin; Yang, Runyin; McNeill, Nier, 2013
Digital Libraries: International Collaboration and Cross-Fertilization: 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004. Proceedings
Hsinchun Chen (auth.), Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward Fox, Ee-peng Lim (eds.), 2005
Digital Libraries: International Collaboration and Cross-Fertilization: 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004. Proceedings
Hsinchun Chen (auth.), Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward Fox, Ee-peng Lim (eds.), 2005
The Taiwan Crisis: a showcase of the global arsenic problem (Arsenic in the environment)
Jiin-Shuh Jean, Jochen Bundschuh, Chien-Jen Chen, How-Ran Guo, Chen-Wuing Liu, Tsair-Fuh Lin, Yen-Hua Chen, 2010
THE ILLUSTRATED CANON OF CHEN FAMILY TAIJIQUAN
Chen Xin (Chen Pin San), 2008
Bio-Medical CMOS ICs
Hoi-Jun Yoo, Chris van Hoof (auth.), Hoi-Jun Yoo, Chris van Hoof (eds.), 2011
Low-carbon City and New-type Urbanization: Proceedings of Chinese Low-carbon City Development International Conference
Songlin Feng, Weiguang Huang, Jun Wang, Mingquan Wang, Jun Zha (eds.), 2015
Solar Flares and Collisions between Current-Carrying Loops: Types and Mechanisms of Solar Flares and Coronal Loop Heating
Jun-Ichi Sakai, Cornelis De Jager (auth.), Jun-Ichi Sakai, Cornelis De Jager (eds.), 1996
Ad Hoc Networks: 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Thiago Abreu, Nghi Nguyen, Thomas Begin, Isabelle Guérin-Lassous, Bruno Baynat (auth.), Jun Zheng, Nathalie Mitton, Jun Li, Pascal Lorenz (eds.), 2013
Bio-Medical CMOS ICs
Hoi-Jun Yoo, Chris van Hoof (auth.), Hoi-Jun Yoo, Chris van Hoof (eds.), 2011
Satisfiability problem: theory and applications
Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos, NSF Science, 1997
Mathematical Statistics Jun Shao
Jun Shao, 1999
Chess champion from China: the life and games of Xie Jun
Xie Jun, 1998
Recent Advances in Estimating Nonlinear Models: With Applications in Economics and Finance
Jared Levant, Jun Ma, Mark E. Wohar (auth.), Jun Ma, Mark Wohar (eds.), 2014
Security-Enriched Urban Computing and Smart Grid: Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
Kai-Di Chang, Chi-Yuan Chen (auth.), Ruay-Shiung Chang, Tai-hoon Kim, Sheng-Lung Peng (eds.), 2011
Security-Enriched Urban Computing and Smart Grid: Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
Kai-Di Chang, Chi-Yuan Chen (auth.), Ruay-Shiung Chang, Tai-hoon Kim, Sheng-Lung Peng (eds.), 2011
PCR Cloning Protocols
Lori A. Kolmodin, David E. Birch (auth.), Bing-Yuan Chen, Harry W. Janes (eds.), 2002
Pcr Cloning Protocols
Bing-Yuan Chen, Harry W. Janes, 2002
PCR Cloning Protocols
Lori A. Kolmodin, David E. Birch (auth.), Bing-Yuan Chen, Harry W. Janes (eds.), 2002
PCR Cloning Protocols
Lori A. Kolmodin, David E. Birch (auth.), Bing-Yuan Chen, Harry W. Janes (eds.), 2002
PCR Cloning Protocols
Lori A. Kolmodin, David E. Birch (auth.), Bing-Yuan Chen, Harry W. Janes (eds.), 2002
