陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
刘向勇编著2017 年出版198 页ISBN：9787568903943
本书主要针对楼宇通信网络系统的构建和管理中用到的各种网络技术，以及程控交换机和卫星电视入户分配网相关知识，以任务驱动形式组织内容。其主要内容包括网络系统配置、网络系统测试与故障处理和卫星及有线电...
穆魁津，何权瀛主编2008 年出版128 页ISBN：7509113970
中华医学会北京分会呼吸系病专业委员会定期组织呼吸系统疑难病讨论会，积累了许多宝贵的病例。本书选取了100个病情复杂、不典型、比较罕见、诊断过程曲折、有一定的经验教训可资借鉴的病例，根据不同病因区分...
李晓哲等编著2002 年出版590 页ISBN：7115101841
本书结合大量的实例，介绍如何利用SQLServer2000来管理和维护数据，以及使用VisualBasic和ASP开发C/S(Client/Server)模式和B/S(Browser/Server)模式网络数据库应用程序。 ...
吴战平，马力等编著2007 年出版111 页ISBN：7502944125
本书包括“贵阳市主城区积涝预报研究及其系统开发”和“重庆市主城区积涝预报和方法研究”两部分。最后的附录部分还收集了与项目有关的5篇研究论文。...
李元春主编2005 年出版282 页ISBN：7040164329
“计算机控制系统”是本科电气信息类（自动化专业的核心课程）专业主干课程，是高等教育出版社自动化专业、电气工程及其自动化专业的系列教材之一。编者根据多年教学和编写教材的基础上，汲取国内外同类教材的优缺...
卓骏著2008 年出版320 页ISBN：9787302171737
我国出口产品在国际市场屡遭重挫，亟待出台反倾销预警机制和预警系统。本书为国家级研究项目，在对我国贸易政策及国际公约的研究基础上，以国际公约、协定的规则和原则为依据，以国际间倾销与反倾销案例为线索，借鉴...
刘长功主编2007 年出版452 页ISBN：9787212031619
本书阐述了党的先进性建设理论及长效机制在安徽的实践探索，科学发展与安徽社会主义农村建设的实践等。
边春元，程立英，任双艳，渠丰沛等编著2008 年出版310 页ISBN：7111231503
本书有效的向读者介绍了PLC系统的开发技巧等。
