Process calculus; Logical clauses; Resolution; Means-end-reasoning; Retro-synthesis; Solvay clusters;
机译:分数微积分作为改进食品加工中传质现象建模的数学工具
机译:分数微积分作为改进食品加工中传质现象建模的数学工具
机译:业务流程管理第三波:业务流程建模语言(bpml)及其pi演算基础
机译:复古合成设计与建模的过程结石
机译:微积分和换向:对微积分数学过程测序的研究思考
机译:智能辅助功能:集成的地理空间数据模型的设计过程以呈现用户自定义的通用设计信息
机译:基于近似型运营微积分的分数阶动态系统的信号处理与建模。
机译:信号处理的分布式计算:异步并行计算的建模。附录G.关于专用并行处理系统的设计和建模