欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Server
来自开放百科 - 灰狐
关注主流服务器厂商的产品与技术: SUN,IBM,HP,DELL,曙光...
目录 |
SUN
- Sun Fire T2000 Server
- Sun Fire T1000 Server
IBM
- IBM System x Server - http://www-900.ibm.com/cn/systems/x/
HP Servers
- HP ProLiant DL Server - http://h50025.www5.hp.com/hpcom/cn_cn/8_1_79.html
- HP BladeSystem Server - http://h50025.www5.hp.com/hpcom/cn_cn/8_1_78.html
DELL
- PowerEdge Rack Server - http://www1.ap.dell.com/content/products/compare.aspx/rack_servers_cn?c=cn&l=zh&s=lca&~ck=mn
曙光
宝德
相关链接
分享您的观点