汉字FOXBASE+数据库语言与应用程序的自动生成工具和方法

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

应用统计学 以Excel为分析工具 第2版

本书的内容主要包括三部分：描述统计（统计设计、数据的搜集、数据的整理与显示等）、推断统计（抽样推断、时序分析、相关分析、回归分析、指数分析等）、统计综合运用（统计案例、统计分析报告与统计综合评价）。...

GRAMMAIRE LAROUSSE DU FRAN?AIS CONTEMPORAIN

INTRODUCTION AU FRAN?AIS éCONOMIQUE

毫米波医疗技术及其临床应用

本书较系统地论述了电磁辐射与生命体组织的相互关系；重点论述低强度毫米波与生物体的相互作用所产生的各种生物学效应以及作用机理。介绍了毫米波的医用设备与工程学原理。毫米波能量产生的原理、方法及装置...

药物应用护理

本书为全国中等卫生职业教育卫生部“十一五“规划教材护理专业教材之一。本书为在第一版教材的基础上进行适应职业教育发展的完善和修订，力求体现“以岗位需求为导向”的职教理念。...

化学练习册 （供社区医学、护理、口腔医学、口腔工艺技术、妇幼卫生助产、预防医学、医学影像诊断、放射技术专业用） 全国中等卫生学校教材第3版

常用工具软件时尚应用

本书介绍电脑用户在日常工作、生活中最实用、流行的工具软件，内容涵盖了网络通信、影音工具、图形与图像处理、磁盘与文件管理、系统维护与优化、反病毒与网络安全、大师必备七大方面，60多款时尚的常用工具软...

世纪大盘点 千年之交看世界风云

回首百年，国际风云变幻；展望未来，世界充满变数。站在世纪的分水岭上，遍及全球的新华社记者运用独家资料，以独特视角，为你分析世界的是非曲折，面向新的世纪，怎样总结历史、把握未来，《世纪大盘点：千年之交看......