检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机应用研究》2013年第3期F0002-F0002,共1页Application Research of Computers
摘 要:由中国计算机学会主办的“第十四届全国Petri网理论与应用学术年会”(两年一届)将于2013年8月23~25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工具开发、仿真技术、并发模型、形式化方法等理论与应用问题进行广泛、深入的研讨。
关 键 词:PETRI网 学术年会 应用 征文通知 形式化方法 仿真技术 并发模型 计算机
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.15.26.71