• CPLEX

  • 2429篇参考文献[SW04082]
  • 解决线性的Python库编程(LP)及相关问题。具体地说,它是线性求解的。模型中的变量可能是宣布作为连续或进一步限制只采取…
  • Visual Basic

  • 295篇参考文献[SW03518]
  • 编程1991首次发布模型宣布遗产在2008。微软打算使用Visual Basic…
  • 65篇参考文献[ SW08333 ]
  • 融合了明晰与表现声明的 编程具有先进的静态分析和误差检测…
  • 咖喱

  • 41篇参考文献[ SW08981]
  • 逻辑编程是最重要的声明的 编程范式,以及将它们结合起来的兴趣…逻辑编程社区与助推声明的 编程一般来说。。。
  • 遥控玩具

  • 55篇参考文献[SW09812]
  • CRWL,一个广泛的理论框架声明的 编程其基础是基于构造函数的重写…
  • 46篇参考文献[SW01224]
  • 语言是Pascal的后裔。编程语言它是在瑞士开发的…用于分组相关的集合声明进入之内程序单位;因此Modula的名字…
  • 达夫尼

  • 60篇参考文献[SW0183]
  • 程序员通过改变程序的类型声明,规范和声明…
  • 算法719

  • 41篇参考文献[SW13183]
  • 在原FORTRAN中的注释)程序,用户宣布精度等级并指定…被视为多精度。译者程序读取此源程序输出A程序
  • 勒普斯

  • 37篇参考文献[SW02579]
  • 动态逻辑编程. 在那里,他们研究并定义了声明的序列的操作语义。序列程序在任何给定的状态下精确地确定声明的过程语义学…具体情况,是一系列逻辑程序建造?例如,在域中…
  • 莫扎特

  • 20篇参考文献[SW0475 9]
  • 十年研究成果编程语言设计与实现,基于约束的推理…支持语言声明的 编程面向对象的编程约束编程和并发作为一部分…
  • 验证程序

  • 54篇参考文献[SW07705]
  • 指针操作命令的性质程序. 程序员可以声明归纳数据类型和原始递归…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 希望,标准,ML,或米兰达)和逻辑编程(如Prolog中所体现的)简单…无限数据结构。还有一个声明的语义,基于史葛域,它提供…巴贝尔最小HelBand模型的概念程序. 我们发展语义和证明…结果为减少语义W.R.T.声明的一个。我们还画了一个完整的结果…
  • 菲亚特

  • 14篇参考文献[ SW21357 ]
  • 通过构造综合有效的纠正程序声明的规格编程从菲亚特开始…
  • 光泽

  • 38篇参考文献[ SW08938 ]
  • 光泽:A声明的实时语言编程. 光泽是一种同步的数据流语言…
  • 访问

  • 60篇参考文献[SW03704]
  • 编程环境和VBA代码模块可以声明并调用Windows操作系统函数…
  • 阿斯皮德

  • 12篇参考文献[SW06309]
  • 编程(ASP)是一个真正的声明的 编程在非单调领域提出范式…
  • 代纳

  • 10篇参考文献[SW23 357]
  • Dyna:A声明的动态实现语言程序. 我们提出…新版本的第一个版本声明的 编程语言DYNA有很多用途,但设计…
  • 莎莎舞

  • 30篇参考文献[SW02661 ]
  • 约束编程被认为是解决硬组合优化问题的有效技术。然而。。。描述和保留原件声明性约束逻辑编程. 我们提出一种语言,萨尔萨…