欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

以下页面链接至文件:Wikipedia-35x35.png：

• Search engine (文件链接) ‎ (←链入页面)
• OpenFTS (文件链接) ‎ (←链入页面)
• MnoGoSearch (文件链接) ‎ (←链入页面)
• Apache Lucene (文件链接) ‎ (←链入页面)
• Googleplex (文件链接) ‎ (←链入页面)
• Larry Page (文件链接) ‎ (←链入页面)
• Sergey Brin (文件链接) ‎ (←链入页面)
• WiseNut (文件链接) ‎ (←链入页面)
• Grid computing (文件链接) ‎ (←链入页面)
• Myriad Search (文件链接) ‎ (←链入页面)
• Open Source (文件链接) ‎ (←链入页面)
• XMPP (文件链接) ‎ (←链入页面)
• Google Talk (文件链接) ‎ (←链入页面)
• JOSSO (文件链接) ‎ (←链入页面)
• Elemenope (文件链接) ‎ (←链入页面)
• EAI (文件链接) ‎ (←链入页面)
• BPEL (文件链接) ‎ (←链入页面)
• Java EE Connector Architecture (文件链接) ‎ (←链入页面)
• SAML (文件链接) ‎ (←链入页面)
• SOAP (文件链接) ‎ (←链入页面)
• Zend Technologies (文件链接) ‎ (←链入页面)
• RISC (文件链接) ‎ (←链入页面)
• CISC (文件链接) ‎ (←链入页面)
• VLIW (文件链接) ‎ (←链入页面)
• SMP (文件链接) ‎ (←链入页面)
• Jabber (文件链接) ‎ (←链入页面)
• Jini (文件链接) ‎ (←链入页面)
• AMD (文件链接) ‎ (←链入页面)
• HPC (文件链接) ‎ (←链入页面)
• Blade Server (文件链接) ‎ (←链入页面)
• JXTA (文件链接) ‎ (←链入页面)
• Pidgin (文件链接) ‎ (←链入页面)
• Sun Microsystems (文件链接) ‎ (←链入页面)
• Darwin (文件链接) ‎ (←链入页面)
• Mach (文件链接) ‎ (←链入页面)
• OpenSSO (文件链接) ‎ (←链入页面)
• Zmanda (文件链接) ‎ (←链入页面)
• Storage (文件链接) ‎ (←链入页面)
• Server (文件链接) ‎ (←链入页面)
• SolidDB (文件链接) ‎ (←链入页面)
• Liferay (文件链接) ‎ (←链入页面)
• Apache OpenJPA (文件链接) ‎ (←链入页面)
• OSCache (文件链接) ‎ (←链入页面)
• Enterprise portal (文件链接) ‎ (←链入页面)
• Drools (文件链接) ‎ (←链入页面)
• JBI (文件链接) ‎ (←链入页面)
• Virtualization (文件链接) ‎ (←链入页面)
• MySQL Cluster (文件链接) ‎ (←链入页面)
• MaxDB (文件链接) ‎ (←链入页面)
• OGSA (文件链接) ‎ (←链入页面)