• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=贵州工学院控制技术研究所"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
网络信息系统数据库访问修改程序设计
收藏
分享
引用
《贵州工学院学报》1995年 第6期24卷 74-80页
作者：施士杨贵州工学院控制技术研究所 
本文叙述了网络多用户信息系统与单用户信息系统不同的程序设计方法，涉及共享环境设置和碰撞处理，数组变量替换和数据完整性等问题。
来源：详细信息评论
具有广播功能的CSP操作语义
收藏
分享
引用
《贵州工学院学报》1989年 第2期18卷 97-104页
作者：蔡晓兵贵州工学院控制技术研究所 
并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部