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

以下页面链接至模板:SeeWikipedia：

• 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 (包含) ‎ (←链入页面)