中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	一种声明式网络程序设计语言系统的设计与实现学位论文 OAI收割工学硕士, 中国科学院自动化研究所: 中国科学院研究生院, 2010 齐欣收藏 \| 浏览/下载：37/0 \| 提交时间：2015/09/02 声明式网络系统编程抽象快速原型系统网络协议基于规则的程序设计语言 Declarative Networking System Programming Abstraction Rapid Prototyping Network Protocols Rule-based Language
	程序设计语言中的继续：理论与实践学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 喻钢 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 继续程序设计语言传名调用 CPS 求值上下文 FANF 异常处理
	Web应用服务器中Web Service引擎的设计与实现期刊论文 OAI收割计算机工程与设计, 2005, 卷号: 26, 期号: 2, 页码: 285-287,347 赵R?官荷卿; 陈宁江 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/28 中间件 Web应用服务器 Web Service 应用服务器引擎程序设计语言 application server 应用程序集成自主研发关键技术编程模型通用交互基础方法
	并行计算模型期刊论文 OAI收割计算机科学, 2002, 卷号: 29.0, 期号: 007, 页码: 1 作者: 乔香珍; 刘方爱 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 并行计算模型程序设计语言程序设计计算机
	基于进程演算的主体理论及面向主体的软件开发方法研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 焦文品收藏 \| 浏览/下载：25/0 \| 提交时间：2011/03/17 智能主体多主体系统面向主体的程序设计语言面向主体的软件分析与设计 pi 演算
	交互系统及其基于XYZ／E的规范与逐步求精学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 郑小立收藏 \| 浏览/下载：20/0 \| 提交时间：2011/03/17 交互算法输入输出状态转换交互对象交互程序设计语言Li 开放系统封闭系统时间人机交互时序逻辑不变式 XYZ系统规范验证逐步求精
	对象持久性机制实现技术的研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 杜小尧收藏 \| 浏览/下载：20/0 \| 提交时间：2011/03/17 对象持久性持久对象库持久性面向对象程序设计语言虚拟存储映射
	计算机科学与逻辑学期刊论文 OAI收割自然杂志, 1991, 卷号: 14, 期号: 22, 页码: 832-837 王元元; 汪灵华; 骆光武收藏 \| 浏览/下载：25/0 \| 提交时间：2012/03/03 计算机科学理论:5679 逻辑型程序设计语言:3832 可计算函数:3711 图灵机:2943 一阶逻辑:2718 可计算性理论:2402 计算理论:2204 演绎数据库:2075 程序语言:2048 关系数据库:2024