• 倍频程

  • 270篇参考文献[SW0466]
  • 高级语言主要用于数值计算计算. 它提供了一个方便的命令行接口…使用A进行其他数值实验语言这主要与Matlab兼容。
  • 发电机

  • 246篇参考文献[SW01227 ]
  • 发电机(动态模型)是一个仿真语言和伴随的图形符号在系统内发展…麻省理工学院计算(9)最早的版本是用汇编编写的。语言最初设计用于主机上的批处理电脑它是在小型计算机上提供的…发电机“个人”电脑在20世纪80年代初。〔15〕语言经历了几次修改…
  • ADA95

  • 128篇参考文献[SW01753]
  • 频谱和面向对象的高级语言电脑编程语言,从Pascal和其他语言取代数以百计的程序设计语言然后由国防部使用。艾达是以…命名的。被誉为第一电脑程序员。。。
  • 团结

  • 173篇参考文献[SW13461 ]
  • 团结。我们评估团结计算的模型、规格语言由Chandy定义的证明系统…
  • ACL2

  • 273篇参考文献[ SW000 060]
  • 两个编程语言你可以在其中建模电脑系统和工具…
  • 可可

  • 595篇参考文献[SW0143]
  • 有理函数例如,它可以很容易地计算Grobner基、辛和最小自由分辨率…专用高级编程增强语言. 为了方便起见,该系统提供了文本…大多数平台通用的图形用户界面。电脑代数系统…
  • 伊莎贝尔/ZF

  • 60篇参考文献[SW0493]
  • 正式表达的公式语言并提供了证明这些公式的工具…验证,包括证明正确性电脑硬件软件及证明性质电脑 语言和协议。伊莎贝尔/ ZF形式化更大的部分…列表、树等的理论,用于形式化计算的观念。它支持无限的归纳定义。
  • 克莱姆

  • 69篇参考文献[SW09424]
  • 内核程序设计语言移动电话计算描述克莱语言支持…从一个移动计算环境对另一个。这个语言包括一个核心琳达与…
  • 科马尔

  • 55篇参考文献[SW30775 ]
  • 通用算法语言是一个电脑编程语言由本尼迪克·L·F斯蒂德在丹麦开发…编程语言这是可用的和舒适地使用在8位家庭。电脑
  • 帕斯卡-XSC

  • 99篇参考文献[SW18863]
  • 扩展科学的帕斯卡计算. 程序设计语言PASCAL XSC是为了提供…基于适当定义和实施电脑常用数值空间中的算术…
  • 自动机

  • 396篇参考文献[SW07127]
  • 自动机是语言在60年代后期由N.G.Brujn设计的…在数学中表示数学证明电脑. 它是“类型理论”的直接祖先。
  • ACSL

  • 46篇参考文献[SW04216]
  • AcSL(发音“轴”)是电脑 语言设计用于建模和评估性能…
  • JavaScript

  • 64篇参考文献[SW068 68 ]
  • JavaScript是一个脚本语言电脑. 它经常运行在Web浏览器应用程序中。不同于编程语言Java
  • Salm Talk

  • 163篇参考文献[SW01561 ]
  • 创建为语言支撑“新世界”计算以“人”为例电脑华勒斯和其他人在20世纪70年代。语言首先是作为SimalTalk发布的…
  • 地脑

  • 318篇参考文献[SW04203]
  • 语言为全世界数百万用户提供服务。免费和开源软件。电脑
  • 急性髓细胞白血病

  • 572篇参考文献[SW0400 1]
  • 综合强大的代数建模语言对于线性和非线性优化问题,在离散…优化模型和检查解决方案,而电脑管理与合适的求解器的通信。AMPL…
  • 急速前进

  • 38篇参考文献[ SW01249 ]
  • 基于新一代电脑 语言称为可执行体系结构定义。语言(EADLs……
  • 帕斯卡尔SC

  • 30篇参考文献[SW30417]
  • 帕斯卡尔电脑 语言为了科学计算. PASCAL SC是一种程序设计语言发达的。。。书解释了新的细节语言PASCAL SC的元素,举例说明…介绍了新的基本原理电脑算术,并显示工具是如何提供的…不同的是,被认为是重要的语言对于两个系统是一样的…
  • Perl

  • 254篇参考文献[SW01225]
  • 很难通过C语言编程语言或者其中一个炮弹。而这…系统,并提供了一个便携式模型计算跨越不同的建筑。(维基百科…