- 合肥工业大学出版社(1)
- 合肥工业大学出版社(1)
- 石油工业出版社(1)
- 石油工业出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 合肥工业大学出版社(1)
- 合肥工业大学出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 石油工业出版社(1)
- 石油工业出版社(1)
-
我要上学了-(全4册)
¥25.6(3.2折)定价:¥80.0这本书适合即将上小学和初上小学的孩子,是一本有效的小学入学准备绘本。 帮孩子轻松度过入学焦虑期,建立入学自信,享受快乐的上学时光。 学校生活是什么样呢?怎么结交新朋友?如何安全去上学?怎样在图书馆借书? 提前了解小学,缓解紧张情绪,树立自信心,让你的孩子爱上小学! ...
-
会计基础实训习题册
¥21.5(6折)定价:¥35.8本书为《(高等院校新文科建设系列教材·财经类)会计学基础》的配套练习册。 全书根据“教、学、做”合一的教学模式及基础会计课程的认知学习规律,结合教材中的重点内容,设计了单项选择题、多项选择题、判断题、计算分析题等多种题型,附有详细的参考答案,能够帮助学生掌握会计要素与会计科目、会计等式和复式记账、制造企业主要经济业务的核算、账户分类、会计凭证、会计账簿、会计报表编制前的准备工作、财务会计报告、会计核算组织程序等内容,具有较强的针
-
安全协议形式化分析与验证
¥86.1(7.9折)定价:¥109.0《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结,主要对两种形式化方法做了归纳:基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下:介绍了安全协议形式化分析的研究现状、主要技术流派,以及协议描述语言ProDL,阐述了基于算法知识逻辑的网络安全协议模型检测分析方法,用于显式地刻画入侵者模型能力;在网络安全协议验证模型生成系统中,采用偏序归约、语法重定序以及静态分析等优化
五星书
浏览历史
-
严歌苓作品集-(全5册)
¥177.0¥295.0