欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
用户贡献
(最后 | 最早) 查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- 2007年1月16日 (二) 15:59 (差异 | 历史) . . (+15) . . Apache Pluto
- 2007年1月16日 (二) 15:58 (差异 | 历史) . . (+4,652) . . Apache Pluto
- 2007年1月16日 (二) 15:47 (差异 | 历史) . . (+76) . . Java Specification Requests
- 2007年1月16日 (二) 13:50 (差异 | 历史) . . (0) . . 新 文件:Wsmsplatform 01.gif (最后更改)
- 2007年1月16日 (二) 13:50 (差异 | 历史) . . (+7,550) . . 新 Web Services and Microsoft Platform
- 2007年1月16日 (二) 13:41 (差异 | 历史) . . (+72) . . Web service
- 2007年1月16日 (二) 13:18 (差异 | 历史) . . (+47) . . JSF
- 2007年1月16日 (二) 12:46 (差异 | 历史) . . (+35) . . CMS and Portal
- 2007年1月16日 (二) 12:46 (差异 | 历史) . . (+403) . . Java Specification Requests
- 2007年1月16日 (二) 12:26 (差异 | 历史) . . (+42) . . 新 JSR 94 (JSR 94移动到JSR 94: Java Rule Engine API) (最后更改)
- 2007年1月16日 (二) 12:26 (差异 | 历史) . . (0) . . 小 JSR 94: Java Rule Engine API (JSR 94移动到JSR 94: Java Rule Engine API)
- 2007年1月16日 (二) 12:20 (差异 | 历史) . . (+4,066) . . 新 JSR 208: Java Business Integration (最后更改)
- 2007年1月16日 (二) 12:15 (差异 | 历史) . . (+24) . . JBI
- 2007年1月16日 (二) 12:13 (差异 | 历史) . . (+47) . . SOA
- 2007年1月15日 (一) 21:28 (差异 | 历史) . . (+646) . . 新 Mashup (web application hybrid)
- 2007年1月15日 (一) 21:24 (差异 | 历史) . . (+19) . . Web 2.0
- 2007年1月15日 (一) 18:44 (差异 | 历史) . . (+6) . . BEA WebLogic Portal
- 2007年1月15日 (一) 18:23 (差异 | 历史) . . (-20) . . 用户:Allen
- 2007年1月15日 (一) 18:23 (差异 | 历史) . . (+157) . . 用户:Allen
- 2007年1月15日 (一) 18:19 (差异 | 历史) . . (+101) . . BEA WebLogic Portal
分享您的观点