欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
链接至“文件:Wikipedia-35x35.png”的页面
以下页面链接至文件:Wikipedia-35x35.png:
查看(上50个 | 下50个)(20 | 50 | 100 | 250 | 500)- WSO2 (文件链接) (←链入页面)
- Apache Synapse (文件链接) (←链入页面)
- Free Software Foundation (文件链接) (←链入页面)
- Apache Software Foundation (文件链接) (←链入页面)
- OpenSymphony (文件链接) (←链入页面)
- FreeNAS (文件链接) (←链入页面)
- Asterisk (文件链接) (←链入页面)
- Jitterbit (文件链接) (←链入页面)
- Openbravo (文件链接) (←链入页面)
- Oracle Solaris Studio (文件链接) (←链入页面)
- GNU Emacs (文件链接) (←链入页面)
- XEmacs (文件链接) (←链入页面)
- IBM DB2 (文件链接) (←链入页面)
- Oracle Database (文件链接) (←链入页面)
- BEA Systems (文件链接) (←链入页面)
- BEA Tuxedo (文件链接) (←链入页面)
- IBM WebSphere MQ (文件链接) (←链入页面)
- HP Integrity Servers (文件链接) (←链入页面)
- FreePBX (文件链接) (←链入页面)
- OpenSIPS (文件链接) (←链入页面)
- GNU Hurd (文件链接) (←链入页面)
- PhpLDAPadmin (文件链接) (←链入页面)
- Storage Networking Industry Association (文件链接) (←链入页面)
- EXist (文件链接) (←链入页面)
- OpenMDX (文件链接) (←链入页面)
- StarUML (文件链接) (←链入页面)
- XML-RPC (文件链接) (←链入页面)
- Ajax (文件链接) (←链入页面)
- BPEL4WS (文件链接) (←链入页面)
- Arroyo Video Solutions (文件链接) (←链入页面)
- Telecommunications (文件链接) (←链入页面)
- RosettaNet (文件链接) (←链入页面)
- EbXML (文件链接) (←链入页面)
- Jakarta EE (文件链接) (←链入页面)
- GStreamer (文件链接) (←链入页面)
- Xine (文件链接) (←链入页面)
- MPC (文件链接) (←链入页面)
- MPlayer (文件链接) (←链入页面)
- GIMP (文件链接) (←链入页面)
- Inkscape (文件链接) (←链入页面)
- Jahshaka (文件链接) (←链入页面)
- Audacity (文件链接) (←链入页面)
- Eclipse BIRT (文件链接) (←链入页面)
- IBM General Parallel File System (文件链接) (←链入页面)
- EXo Platform (文件链接) (←链入页面)
- SIP Express Router (文件链接) (←链入页面)
- SipX (文件链接) (←链入页面)
- Shibboleth (文件链接) (←链入页面)
- OpenCMS (文件链接) (←链入页面)
- EZ Publish (文件链接) (←链入页面)
分享您的观点