欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lotus Software
来自开放百科 - 灰狐
Lotus Notes/Domino 8.5 基于 Eclipse 构建.
Lotus Sametime
Lotus Sametime 是实时协作软件,提供当场提醒、即时消息及 Web 会议功能。
IBM Lotus Sametime Gateway 是一个用于与其他即时消息传递工具进行在线感知和实时协作的平台,可以使 Sametime 本地群体与其他公共即时消息传递群体(即:外部群体,如 AOL Instant Messenger、Yahoo! 和 Google Talk 等)之间进行协作。
- http://www.ibm.com/developerworks/cn/lotus/products/instantmessaging/
- http://www.ibm.com/developerworks/lotus/products/instantmessaging/
Lotus Symphony
IBMs Lotus Symphony Is OpenOffice in Eclipse Clothing
- https://www.ibm.com/developerworks/cn/lotus/products/symphony/
- https://www.ibm.com/developerworks/lotus/products/symphony/
Links
分享您的观点