(美)Kevin Dick著;邓尚贤译2003 年出版211 页ISBN:7302065705
本书介绍了XML出现的契机、基本概念、相关标准等。
王济昌著2009 年出版395 页ISBN:9787215070899
科学思维与科学方法是人们认识世界、改造世界的基本手段,它对人们的工作和学习有着重要的指导意义。本书就科学思维和科学方法进行了初步研究探索,结合当前建设创新型国家的实际,指出了科学研究和实际工作中学...
宁晓琳,宫晓琳,李建利编著2019 年出版143 页ISBN:9787118116595
本书是作者课题组多年来的教学和科研成果的总结,主要介绍了线性系统的卡尔曼滤波和非线性系统的扩展卡尔曼滤波、unscented卡尔曼滤波等滤波方法和这些滤波方法在INS初始对准、GPS动态滤波、GPS/INS组合导航...
GUI应用程序移植:在LINUX上模拟WINDOWS API的方法
肖习攀 阎小兵 贾迎东 龚奕平 曾鑫 赵俊 冯遥遥 陆爽 张垚著2007 年出版370 页ISBN:
张健著2000 年出版172 页ISBN:7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
罗云主编2013 年出版351 页ISBN:9787502638672
本书为”十二五”国家科技支撑计划课题研究成果。主要介绍了特种设备风险管理的理论、方法、应用等方面的内容,分理论基础篇、方法技术篇和应用实例。可以作为从事特种设备风险管理领域研究和相关生产企业的...
УПРАВЛЕНИЕ ТЕХНИКО-ЭКОНОМИЧЕСКИМ РАЗВИТИЕМ ПРОМЫШЛЕННОГО ПРЕДПРИЯТИЯ
В.П.АЛЕКСАНДРОВА1987 年出版144 页ISBN:
ЭКОНОМИЧЕСКИЙ АНАЛИЗ ХОЗЯЙСТВЕННОЙ ДЕЯТЕЛЬНОСТИ ПРЕДПРИЯТИЙ ХИМИЧЕСКОЙ ПРОМЫШЛЕННОСТИ
А.Д. ТРУСОВ1983 年出版0 页ISBN: