欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
链接至“模板:SeeWikipedia”的页面
以下页面链接至模板:SeeWikipedia:
查看(上50个 | 下50个)(20 | 50 | 100 | 250 | 500)- SOA (包含) (←链入页面)
- InnoDB (包含) (←链入页面)
- Firebird (包含) (←链入页面)
- Dev-C++ (包含) (←链入页面)
- GForge (包含) (←链入页面)
- Trac (包含) (←链入页面)
- Apache Subversion (包含) (←链入页面)
- PhpBB (包含) (←链入页面)
- MyBB (包含) (←链入页面)
- SMF (包含) (←链入页面)
- Gallery (包含) (←链入页面)
- PhpGraphy (包含) (←链入页面)
- E-commerce (包含) (←链入页面)
- OsCommerce (包含) (←链入页面)
- Zen Cart (包含) (←链入页面)
- Collaborative software (包含) (←链入页面)
- EGroupWare (包含) (←链入页面)
- PhpGroupWare (包含) (←链入页面)
- DotProject (包含) (←链入页面)
- Open-Xchange (包含) (←链入页面)
- E-learning (包含) (←链入页面)
- Moodle (包含) (←链入页面)
- Dokeos (包含) (←链入页面)
- ATutor (包含) (←链入页面)
- C++ (包含) (←链入页面)
- CRM (包含) (←链入页面)
- ERP (包含) (←链入页面)
- SugarCRM (包含) (←链入页面)
- Compiere (包含) (←链入页面)
- Opentaps (包含) (←链入页面)
- Celtix (包含) (←链入页面)
- Apache ServiceMix (包含) (←链入页面)
- Open ESB (包含) (←链入页面)
- Mule (包含) (←链入页面)
- Apache HTTP Server (包含) (←链入页面)
- Google (包含) (←链入页面)
- Web server (包含) (←链入页面)
- Workflow (包含) (←链入页面)
- JBoss BPM (包含) (←链入页面)
- Bonita BPM (包含) (←链入页面)
- Java Message Service (包含) (←链入页面)
- Apache ActiveMQ (包含) (←链入页面)
- JORAM (包含) (←链入页面)
- OpenJMS (包含) (←链入页面)
- Internet (包含) (←链入页面)
- Yahoo (包含) (←链入页面)
- EBay (包含) (←链入页面)
- Alibaba (包含) (←链入页面)
- File sharing (包含) (←链入页面)
- EMule (包含) (←链入页面)
分享您的观点