欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
首页
来自开放百科 - 灰狐
(版本间的差异)
(→图标、图片库) |
|||
第26行: | 第26行: | ||
|}<!-- 顶栏结束 --> | |}<!-- 顶栏结束 --> | ||
− | '''[[News|新闻]]''': [[News/sina|新浪]]、[[News/qq|腾讯]]、[[News/sohu|搜狐]]、[[News/163|网易]]、[[News/cnbeta|cnbeta]] '''[[Blogs|博客]]''': [[Blogs/dbanotes|DBA Notes]]、[[Blogs/s135|回忆未来[张宴]]]、[[Blogs/yuanyifeng|阮一峰的网络日志]]、[[Blogs/7yue|7yue]]、[[Blogs/isky000|简朝阳]]、[[Blogs/xiqiao|西乔的九卦]]、[[Blogs/delphij|delphij]] | + | '''[[News|新闻]]''': [[News/sina|新浪]]、[[News/qq|腾讯]]、[[News/sohu|搜狐]]、[[News/163|网易]]、[[News/cnbeta|cnbeta]] '''[[Blogs|博客]]''': [[Blogs/dbanotes|DBA Notes]]、[[Blogs/yangjian|杨建]]、[[Blogs/s135|回忆未来[张宴]]]、[[Blogs/yuanyifeng|阮一峰的网络日志]]、[[Blogs/7yue|7yue]]、[[Blogs/isky000|简朝阳]]、[[Blogs/xiqiao|西乔的九卦]]、[[Blogs/delphij|delphij]] |
{{Category}} | {{Category}} |
2010年10月1日 (五) 05:50的版本
彼此信任,协作分享
人人可参与的自由协作计划
已有7,156篇条目
|
新闻: 新浪、腾讯、搜狐、网易、cnbeta 博客: DBA Notes、杨建、回忆未来[张宴]、阮一峰的网络日志、7yue、简朝阳、西乔的九卦、delphij
开源许可协议 GNU GPL v2 - GNU LGPL v2.1 - GNU LGPL v3 - GNU FDL v1.2 - GNU FDL v1.3 - 许可协议讨论
图标、图片库
Faenza图标集 | 468x60 Banners | 80x15 Buttons | 88x31 Buttons | 48x48 Logo | 90x90 Logo | 135x135 Logo | 其它尺寸的Icons | 墙纸 |
技术 | 社会 | 地点
韦诺之战之肖像 | 韦诺之战之攻击 | 单位: 龙族 | 矮人 | 精灵 | 地精 | 人类 | 人鱼 | 怪兽 | 兽人 | 蜥蜴人 | 巨魔 | 亡灵 | 森林精灵 | 树人
分享您的观点