最近浏览的软件
EMS SQL Management Studio for MySQL 27 Jan 15
PostgreSQL 7 Apr 16
Accdb Password Get 27 Oct 18
Intel Graphics Performance Analyzers Windows client 31 Dec 14
Interval arithmetic for Ada 1.10
间隔算术艾达是一个数学库,提供间隔的Ada的实现。它包括算术和关系运算。例如:三态逻辑包间隔用作根包,并提供必要的间隔定义关系操作的三态逻辑。类型的逻辑被定义为: 类型逻辑是(假,真,不确定); 下面的操作定义逻辑: 功能“不”(左:逻辑)返回逻辑; 功能“和”(左,右:逻辑)返回逻辑; 功能“和”(左:逻辑;右:布尔) 返回逻辑; 功能“和”(左:布尔;右:逻辑) 返回逻辑; 函数“或”(左,右:逻辑)返回逻辑; 函数“或”(左:逻辑;右:布尔) 返回...
最近浏览的软件
EMS SQL Management Studio for MySQL 27 Jan 15
PostgreSQL 7 Apr 16
Accdb Password Get 27 Oct 18
Intel Graphics Performance Analyzers Windows client 31 Dec 14