欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
链接至“文件:Comment-32x32.png”的页面
以下页面链接至文件:Comment-32x32.png:
查看(上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 (文件链接) (←链入页面)
分享您的观点