-
西比尔
- 参考6篇文章[sw11995]
- 可证明的表演算终止完全的，只要否定范式。。。在其范围内包含一个操作人员. 这些作品奠定了西比尔的理论基础。。。
-
包装工
- 1条引用[sw11026]
- 网络，包括异常活动。不幸的是，网络操作人员当。。。开始网络取证，例如启动终端应用程序，登录到服务器并分析。。。文件夹。因此，网络的眼光操作人员甚至会从可视屏幕上移动。。。
-
摩比/华盛顿
- 引用5篇文章[sw01395]
- 参数化实时规范。我们定义操作的持续时间演算的子集，称为相自动机。。。过度接近仅为了保证终止. 过度近似加上构图技巧使。。。
-
帕瓦内
- 引用4篇文章[sw29850]
- 项目（如安全和进度）而不是操作的细节；和（2）需要支持。。。可视化期间的时间。一种算法终止扩散计算中使用了检测。。。
-
霍尼韦尔利润
- 1条引用[sw20415]
- 使设施达到并保持优良操作. 利益融合与运动：利益融合。。。有助于发掘场外的潜在利润，终端还有坦克农场。利润控制绩效监控。。。
-
每秒
- 1条引用[sw22325]
- 一个非常基本的知识操作系统足以处理LDO。。。您需要使用的第一个版本终端在Linux上做计算。。。
-
卡德
- 1条引用[sw32231]
- 域代数与反域名（域补码）操作在伊莎贝尔/荷尔，从领域。。。包括模态逻辑的一些例子，终止程序分析。。。
-
MFE公司
- 引用4篇文章[sw09764]
- 已整合到MFE中。也就是说，莫德终止工具（MTT），Church Rosser检查器。。。这些都是由于改名和操作员. 对于依赖外部工具的工具。。。
-
马先生
- 1条引用[sw02433]
- 创建、维护和终止多播会话：QoS敏感路由选择。。。会话广告。考虑到网络操作这是唯一的多播服务质量，MRMA。。。
-
幽灵
- 引用4篇文章[sw21398]
- 一点的稳定性终端对应尖峰波的点。。。具有两个竞争色散的Benjamin方程操作员. 在这种情况下，我们发现。。。
-
DPUP公司
- 引用2篇文章[sw18429]
- 计算机运行Unix的一个版本操作支持Berkeley Unix进程间进程的系统。。。对于每个模型，创建和终止远程进程，在它们之间建立通信。。。
-
矩阵运算
- 1条引用[sw28791]
- 任意维矩阵，我们提供操作矩阵的加法，乘法，换位和矩阵。。。CeTA系统包括终止技术。所提供的理论对形式化。。。
-
多项式
- 引用3篇文章[sw32226]
- 任意（有序）半环与（可执行）组合操作比如加法、乘法和代换。我们也。。。IsaFoR/CeTA系统的一部分，包括终止技术。所提供的理论是必不可少的。。。
-
椭圆
- 1条引用[sw29001]
- 用户的表格终端屏幕（即，它们被发送到STDOUT）；这些。。。用户可以更好地控制操作...
-
Complx公司
- 在0篇文章中引用[sw21502]
- 如突然调用和构造函数终止. 我们用一个例子来说明我们的框架。。。电话。我们的目标是同时操作系统，比如嵌入式可中断eChronos。。。
-
简单
- 1条引用[sw32234]
- 语法，它的语义（大的和小的步骤操作的语义学）和霍尔逻辑的部分。。。共同语言特点：程序相互递归，突兀终止以及异常、运行时故障、本地和全局。。。
-
姆卡迪尔
- 在0篇文章中引用[sw20129]
- Mapleaf允许操作mtbdd（多个-终点站二元决策图），其叶。。。用户可以定义和注册新的操作，然后利用缓存技术。。。
-
PG图
- 引用2篇文章[sw15568]
- “设备处理程序”子例程，用于在终端，图像显示，点阵打印机，激光打印机。。。Irix和macosx/Darwin）以及OpenVMS操作系统。我无法提供支持。。。
