大约有20,000项符合查询结果项。（搜索耗时：0.0338秒）
为您推荐： 网络安全 加密原理算法与协议 网络安全协议 原理 结构与应用 title tcp ip协议原理与应用 第5版 正版绩效考核与薪酬激励精细化设计必备全书企业家协议字典工具包电子版 详解http协议基础与go语言实现 数学猜想与证明
-
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
农业资源可持续利用与生态环境安全 2009年农业资源利用学科全国博士生论坛论文集
谢德体，倪九派，丁恩俊主编2010 年出版159 页ISBN：9787562149507本文集涉及农田物质循环与污染控制、土壤有机/无机/生物界面交互作用、养分资源管理与农产品安全、农业水土资源的管理与调控、土地可持续利用等研究领域的最新进展与成果，不仅有力地促进农业资源利用学科学...
-
点击专项 高中数学 不等式 推理与证明
张友，刘金国主编2010 年出版374 页ISBN：7563428240本丛书以高中数学新课标为体系，从易到难的梯度编写，这样，对本专题知识没有吃透的学生可以迅速掌握本专题的知识，中等水平的学生在精读本书提高篇后会使自己更上一层楼。...
-
网络与TCP/IP协议
武奇生主编2010 年出版324 页ISBN：9787560623849本书内容涵盖了计算机网络和TCP／IP协议的基本概念、原理、技术、应用以及下一代网络的核心IPv6技术，反映了计算机网络技术的最新发展情况。...
-
锦囊妙解创新导学专题 高中数学 数列、推理与证明
司马文，曹瑞彬丛书主编；许学龙本册主编2010 年出版161 页ISBN：9787111318439本丛书完全以每个知识点为讲解元素，结合“课标解读”、“知识清单”、“易错清单”、“点击高考”、“模拟演练”等栏目设计等。
-
电子商务交易协议理论与验证方法
王茜编著2010 年出版181 页ISBN：9787306035004本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述，阐述了电子商务交易协议的分析验证方法。...
-
投资与合同协议内部控制
中国会计学会编2010 年出版230 页ISBN：9787806849385本书由投资内部控制操作指引与与典型案例研究和合同协议内部控制操作指引与典型案例研究两个财政部重点会计科研课题组成，分别将投资、合同协议与我国企业内部控制结合起来研究，丰富了现有研究理论成果，并分别...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
高中数学题组精编 第7册 逻辑用语·数系扩充·推理与证明·导数
石泉主编2010 年出版176 页ISBN：9787533885199本书依据普通高中课程标准和全国考纲编写，兼顾主流教材，属于单元同步类教辅图书，秉承老“精编”的编写理念，沿袭老“精编”的编写风格。本册内容为逻辑用语、数系扩充、推理与证明、导数。...