欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
双重重定向页
此页列出了所有重定向到另一重定向页面的页面。每一行都包含有到第一和第二个重定向页面的链接,以及第二个重定向页面的目标——通常就是“真正的”目标页面,亦即是第一个重定向页面应该指向的页面。已划去的为已经解决的项目。
下面显示从第71条结果开始的20条结果。
查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- Model Driven Architecture (编辑) → MDA → Model-driven architecture
- DMLC (编辑) → MXNet → Apache MXNet
- Mac OS (编辑) → Mac OS X → OS X
- Mesa (编辑) → Mesa 3D (OpenGL) → Mesa 3D
- Democracy (编辑) → Miro (software) → Miro
- Netbeans (编辑) → NetBeans → Apache NetBeans
- Network File System (编辑) → Network file system → NFS
- OpenBrowser (编辑) → OBrowser → Huihoo browser
- Mac OS X (编辑) → OS X → MacOS
- OpenERP/business intelligence (编辑) → Odoo/business intelligence → Odoo BI
- OpenERP/Documentation (编辑) → Odoo/documentation → Odoo documentation
- Open Business Cloud (编辑) → OpenBusiness → Open Business Platform
- CentERP (编辑) → OpenERP → Odoo
- Open ERP (编辑) → OpenERP → Odoo
- Open ERP BI (编辑) → OpenERP/business intelligence → Odoo/business intelligence
- OpenManagement (编辑) → OpenHQ → OpenMQ
- OpenHR (编辑) → OpenHRM → E3 HRMS
- OpenHQ (编辑) → OpenMQ → HMQ
- Openmeetings (编辑) → OpenMeetings → Apache OpenMeetings
- OpenIDE (编辑) → OpenVS → IDE-X
分享您的观点