欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
所有公开日志
所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2016年5月1日 (日) 01:38 Allen (讨论 | 贡献)上传“文件:Communications-Cloud-Reference-Architecture.png” (category:IM 图片取自:《IM通讯云技术路线的选择》http://docs.huihoo.com/infoq/qconshanghai/2015/%e6%95%b0%e6%8d%ae%e5%88%86%e6%9e%90%e4%b8%8e%e7%a7%bb%e5%8a%a8%e5%bc%80%e5%8f%91%e5%b7%a5%e5%85%b7%e4%b8%93%e5%9c%ba/QCon%e4%b8%8a%e6%...)
分享您的观点