|
●
Bruttomesso, R., Rollini, S.F., Sharygina, N., et al. (2010) Flexible Interpolat...
|
|
●
Henzinger, T.A., Jhala, R., Majumdar, R., et al. (2004) Abstractions from Proofs...
|
|
●
Weissenbacher, G. (2010) Program Analysis with Interpolants. Magdalen College, O...
|
|
●
McMillan, K.L. (2003) Interpolation and SAT-Based Model Checking. In: CAV 2003: ...
|
|
●
Craig, W. (1957) Three Uses of the Herbrand-Gentzen Theorem in Relating Model Th...
|
|
●
深圳美可达科技公司. 静电阻抗器ESD应用技巧: Rev1.0.03 [Z]. 2010.
|
|
●
百度文库. 数字滤波器Matlab实现[EB/OL].
http://wenku.baidu.com/link?url=Gog0COvt2zBD6tOUg2...
|
|
●
百度文库. 有源滤波器的分析计算与实际设计[EB/OL].
http://wenku.baidu.com/link?url=YQ99DQS6SisHQerq...
|
|
●
牛余朋, 等. 单片机数字滤波算法研究[J]. 中国测试技术, 2005, 31(6): 97-99.
|
|
●
电子发烧友. 磁珠的原理及应用[EB/OL]. http://www.elecfans.com/soft/69/2008/200807305688.html
|
|
●
梁杰. LC滤波器元件参数的计算[J]. 电子制作, 1999(2): 46-47.
|
|
●
怯肇乾. 嵌入式系统硬件体系设计[M]. 北京: 航空航天大学出版社, 2007.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:307.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:79.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:79.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:79.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:57.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:33.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:33.
|
|
●
塔杜施•博罗夫斯基.石头世界[M].杨德友,译,广州:花城出版社,2012:72.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015:61,62.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015:140,141.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015:90,91.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015:78.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015:101.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015: 99,100.
|
|
●
张振辉,译.波兰现代诗歌选[M].北京:中国社会科学出版社,2015: 99.
|
|
●
Böhme, T., Heitkemper, T., Mettang, T., Phan, N.Q. and Ständer, S. (2014) Clinic...
|
|
●
Tanaka, M., Aiba, S., Matsumura, N., Aoyama, H. and Tagami, H. (1995) Prurigo No...
|
|
●
董秀芹, 刘涛, 肖洁平, 李智珍, 王红燕, 方俊华, 梁倩文, 黄新霞. 结节性痒疹的特异性免疫治疗的研究[J]. 中国美容医学, 2012, 21(12)...
|