机译:基于Petri网的互联网股票交易系统正确性分析
Correctness; Petri nets (PNs); formal verification; stock trading systems; temporal logic;
机译:基于因果知识的专家系统,用于计划基于Internet的股票交易系统
机译:证券交易所无纸化股票交易系统中股权转移机制的法律分析
机译:使用开源互联网来分析和预测股票交易量
机译:股票交易系统:发展和评估股票交易策略的框架
机译:基于智能计算的股票预测和交易系统的开发和分析。
机译:最小二乘支持向量回归模型用于使用Internet搜索趋势和历史交易数据预测股市
机译:互联网财务报告与公司规模对印度尼西亚证券交易所LQ45公司股票交易数量的影响