欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
链接至“模板:Comment”的页面
以下页面链接至模板:Comment:
查看(上50个 | 下50个)(20 | 50 | 100 | 250 | 500)- VideoLAN (包含) (←链入页面)
- Digital Media (包含) (←链入页面)
- OpenQRM (包含) (←链入页面)
- Data center (包含) (←链入页面)
- IT management (包含) (←链入页面)
- Blender/developer (包含) (←链入页面)
- Rsync (包含) (←链入页面)
- Service Component Architecture (包含) (←链入页面)
- Service Data Objects (包含) (←链入页面)
- Amazon Web Services (包含) (←链入页面)
- Join Huihoo (包含) (←链入页面)
- Web 2.0 (包含) (←链入页面)
- Pentaho (包含) (←链入页面)
- SpagoBI (包含) (←链入页面)
- OpenPegasus (包含) (←链入页面)
- Component Integrated ACE ORB (包含) (←链入页面)
- CMS and Portal (包含) (←链入页面)
- Hyperic HQ (包含) (←链入页面)
- DBDesigner (包含) (←链入页面)
- Oracle Database (包含) (←链入页面)
- PhpLDAPadmin (包含) (←链入页面)
- Understanding SOA with Web Services (包含) (←链入页面)
- XML-RPC (包含) (←链入页面)
- Ajax (包含) (←链入页面)
- RosettaNet (包含) (←链入页面)
- EbXML (包含) (←链入页面)
- Huihoo Ruby Applications (包含) (←链入页面)
- GStreamer (包含) (←链入页面)
- Xine (包含) (←链入页面)
- MPC (包含) (←链入页面)
- MPlayer (包含) (←链入页面)
- Inkscape (包含) (←链入页面)
- Enterprise Open Source Choice Guide (包含) (←链入页面)
- EXo Platform (包含) (←链入页面)
- SourceID (包含) (←链入页面)
- Shibboleth (包含) (←链入页面)
- OpenCMS (包含) (←链入页面)
- EZ Publish (包含) (←链入页面)
- WebERP (包含) (←链入页面)
- Oracle (包含) (←链入页面)
- Git (包含) (←链入页面)
- SSO (包含) (←链入页面)
- Nagios (包含) (←链入页面)
- Enomalism (包含) (←链入页面)
- VoIP (包含) (←链入页面)
- Quixote (包含) (←链入页面)
- Web.py (包含) (←链入页面)
- Myghty (包含) (←链入页面)
- OpenOffice (包含) (←链入页面)
- MythTV (包含) (←链入页面)
分享您的观点