meihuami

VC ADO访问数据库

vc 通过 ADO访问SQLsever数据库

规模化产品开发方法产品线工程.pdf

规模化产品开发方法 -产品线工程

基于大数运算的高精密计算器

高精密大数算法，加，减，乘，除，阶乘，排列组合，乘幂，进制转换，

Apress.Big.Data.Analytics.Using.Splunk.May.2013

Apress.Big.Data.Analytics.Using.Splunk.May.2013，

Probabilistic Matrix Factorization

ProbabilisticMatrixFactorizationNIPS2008（神经信息处理系统进展大会）ConferenceonNeuralInformationProcessingSystems

基于进程代数安全协议验证的研究综述

安全协议用于实现开放互联网络的通信安全，进程代数是一类使用代数方法研究通信并发系统理论的代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法9描述了基于进议验证研究的!种主要方法：基于踪迹语义的方法；基于互模拟验证的方法；基于类型理论的方法；基于并给出了基于进程代数的安全协议验