搜索筛选:
搜索耗时2.7460秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：索丙芮,
来源：科技资讯 年份：2010
针对传统的发票报销模式的弊病,本文提出了以JBPM工作流技术为基础,以基于Web应用为背景,给出了发票审核和发票报销系统的解决方案。该方案具有较强的实用性和通用性,提高了...
[学位论文] 作者：索丙芮,
来源：贵州大学 年份：2010
近年来，随着手机用户的不断增长，短信已经在人们的日常生活中发展成为一种非常重要的交流方式，同时，由于短信的高效，低成本和无时空限制等优势受到了越来越多企业的重视。然而，目前......
[期刊论文] 作者：任彦芳,杨静,索丙芮,
来源：计算机工程与设计 年份：2009
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问...
相关搜索：
