欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板:Category
来自开放百科 - 灰狐
(版本间的差异)
第62行: | 第62行: | ||
|- | |- | ||
<!----------------------------------------------> | <!----------------------------------------------> | ||
− | |[[File: | + | |[[File:Redmine-48x48.gif|center]] |
− | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[:Category:科技| | + | |style="font-size:95%;border-top:1px dashed #AAAAAA"|'''[[:Category:科技|群件、项目管理]]、[[:Category:应用科学|e-Learning]]'''<br /> |
[[:Category:交通运输|交通运输]] - [[:Category:建筑学|建筑学]] - [[:Category:土木工程|土木工程]] - [[:Category:电气工程|电气工程]] - [[:Category:计算机科学|计算机科学]] - [[:Category:机械工程|机械工程]] - [[:Category:能源|能源科学]] - [[:Category:测绘学|测绘学]] - [[:Category:航空航天|航空航天]] - [[:Category:礦業|礦業]] - [[:Category:冶金|冶金学]] - [[:Category:印刷|印刷]] - [[:Category:化学工程|化學工程]] - [[:Category:水利工程|水利工程]] - [[:Category:通信技术|通信技術]] - [[:Category:生物工程|生物工程]] - [[:Category:材料科學|材料科学]] - [[:Category:環境科學|環境科學]] | [[:Category:交通运输|交通运输]] - [[:Category:建筑学|建筑学]] - [[:Category:土木工程|土木工程]] - [[:Category:电气工程|电气工程]] - [[:Category:计算机科学|计算机科学]] - [[:Category:机械工程|机械工程]] - [[:Category:能源|能源科学]] - [[:Category:测绘学|测绘学]] - [[:Category:航空航天|航空航天]] - [[:Category:礦業|礦業]] - [[:Category:冶金|冶金学]] - [[:Category:印刷|印刷]] - [[:Category:化学工程|化學工程]] - [[:Category:水利工程|水利工程]] - [[:Category:通信技术|通信技術]] - [[:Category:生物工程|生物工程]] - [[:Category:材料科學|材料科学]] - [[:Category:環境科學|環境科學]] | ||
<!----------------------------------------------> | <!----------------------------------------------> |
2010年9月1日 (三) 07:56的版本
</div> </div>
分享您的观点