(丹)比约纳(Bjorner,D.)著2007 年出版802 页ISBN:9787302154327
本书介绍系统与语言的规约的基本原理和技术。
轧制技术及连轧自动化国家重点实验室(东北大学)著2014 年出版140 页ISBN:9787502466879
本书全面介绍了850mm不锈钢生产线两级计算机控制系统,通过基础自动化系统实现了带钢热连轧过程高精度的自动厚度控制(AGC)、自动宽度控制(AWC)、微张力控制(TFC)和连轧活套高度和张力的解耦智能控制,实现了地下卷.....
(挪威)索格尔德著2011 年出版451 页ISBN:9787564127855
本书共分15章,内容循序渐进,深入浅出,在书写形式上是一本教科书。第1~4章介绍光学及电磁场基础知识,第5~6章讨论光纤、波导及其期间。第7~8章阐述微机电光开关及扫描仪,第9~11章介绍幅度调制与相位调制及其光栅......
谭志满著2010 年出版203 页ISBN:9787500484479
本书运用民族学、社会学、语言学等学科理论与方法,在文献以及田野调查基础上对土家语的历史以及现状进行了梳理和探讨,并就文化变迁背景下土家族语言的文化价值、土家族语言的抢救与传承等相关问题进行了比较...
(英)Alan Burns ,(英)Andy Wellings著;王振宇,陈利等译2004 年出版578 页ISBN:7111139879
本书介绍实时系统的特征,分析设计和实现的方法以及所用的编程语言。