陈仁伟，胡鹏，张素兵著2015 年出版103 页ISBN：9787115373656
本书介绍了对完成地面数字电视射频性能测试所需仪器设备的基本性能要求，并以GB/T 26686-2011和GB/T 26685-2011标准为基础，结合实际测试过程及仪器示例，详述了各项目具体的操作步骤，适用于地面数字电视接收端产...
孙强著2016 年出版208 页ISBN：9787302455608
本书介绍了数字电路综合验证和代数学理论的应用研究现状。然后分五部分分别介绍了多项式符号代数在高层次综合中的应用、多项式符号代数在形式验证中的应用、有限环上多项式在定界模型检验中的应用、进程代...
