欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第32行: | 第32行: | ||
<!----------------------------------------------> | <!----------------------------------------------> | ||
− | |[[File: | + | |[[File:Openesb-48x48.gif|center]] |
− | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[参考目录列表| | + | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[参考目录列表|SOA]]、BPM、'''<br /> |
[[人名表|人名列表]] - [[历史年表]] - [[历法列表|历法列表]] - [[化学品列表]] - [[生物分類總表]] - [[药物列表]] - [[参考目录列表#计算机|電腦相關列表]] - [[公司列表]] - [[世界体育竞赛列表]] - [[領袖列表]] - [[国旗列表]] - [[政党列表]] - [[国际组织列表]] - [[世界民族列表]] - [[世界遗产#统计|世界遺產列表]] - [[山脈列表]] - [[中国年号列表]] - [[中华人民共和国县级以上行政区列表]] - [[世界地理索引]] - [[世界城市索引]] - [[语言列表]] | [[人名表|人名列表]] - [[历史年表]] - [[历法列表|历法列表]] - [[化学品列表]] - [[生物分類總表]] - [[药物列表]] - [[参考目录列表#计算机|電腦相關列表]] - [[公司列表]] - [[世界体育竞赛列表]] - [[領袖列表]] - [[国旗列表]] - [[政党列表]] - [[国际组织列表]] - [[世界民族列表]] - [[世界遗产#统计|世界遺產列表]] - [[山脈列表]] - [[中国年号列表]] - [[中华人民共和国县级以上行政区列表]] - [[世界地理索引]] - [[世界城市索引]] - [[语言列表]] | ||
|} | |} |
2010年9月1日 (三) 08:08的版本
</div> </div>
分享您的观点