.net API BRE C# DAE DHCP EMF ERE Eclipse Ecore Elastic Search Erlang Feature Model JDK Java LTS LaTeX MathGL Modelica ModelicaML Modeling OpenModelica PCRE PXE PXELINUX STS SYSLINUX Scala TeX Ubuntu actor agda apache asp.net awk blog boot bootstrap bsd c cpp cron crontab crossref cups daemon deb elixir enthought erlang fortran git gnupg gnuplot grep grouping guile hakyll halt haskell hbase hexo java julia lapack linux lisp log lucene matplotlib maude mono nutch openssl pandoc play pop11 poplog prolog pxe, ubuntu, pxelinux, boot python regex rewriting logic ruby sbt scala scheme sed server shell socket solr syslog ubuntu vim xinetd 互操作 人工智能 仿真 依存类型 信息几何 公理化 函数式 分析 包管理 历史 变量 可视化 周期性进程 套接字 学术 守护进程 安装 实数 实用工具 密码学 并发 序列化 建模 开机原理 开源 异步 微分流形 打印机 抽象数据类型 控制抽象 控制系列 控制语句 搜索 数据结构 数组 文档 日志 映射 权限 柯里化 模式匹配 模板 正则表达式 注解 注释 爬虫 特征建模 特质 状态传递系统 直觉类型论 科学计算 简介 类 类型系统 系统管理 索引 线程 绘图 统计 编组 编译器 自举 虚拟打印机 表达式 规约 计划执行 设计模式 词法 语法 调度器 运算符 进程 进程控制块 进程调度 远程启动 重写逻辑 随机微分方程 随机过程 集合 集群 非标准分析 面向对象 高阶函数