• 奶牛

  • 51篇参考文献[ SW06955 ]
  • 从公知借来的成分过程 结石例如异步通信、多进制同步、模式匹配、保护…补偿处理程序和其他编码程序过程和配器语言…
  • 引诱

  • 20篇参考文献[SW01418]
  • 依靠坚实的理论过程 结石以及XML文档和模式的形式语言。运行时环境支持PiDuce的执行过程通过依赖国家的网络…
  • 朱莉

  • 9篇参考文献[SW1296]
  • 并发模型的典型过程 结石. Jolie在感恩节期间做的基础性工作…
  • COSP

  • 4篇参考文献[SW2538 9]
  • 为Y证明X密码原语结石只需要X+Y证明(而不是……)没有这个框架)过程嵌入的结石在概念上与计算的健全性脱钩…
  • 显影器

  • 1篇参考文献[ SW000 016]
  • API微积分可视化工具。过程 结石数学工具是用于建模和分析…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • 与lambda中的并发原语交互结石仍然保持一定的自组织性。在本文中…会话类型。LoLoPro的特点是简单过程微积分“引擎盖下”,但隐藏机器…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 棱镜

  • 390篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。