欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IT management
来自开放百科 - 灰狐
开源项目
- Hyperic HQ - http://www.hyperic.com/products/
- Babel Enterprise - http://babel.sourceforge.net/
- BigSister - http://www.bigsister.ch/
- Enomalism - http://www.enomalism.com/
- Nagios - http://www.nagios.org/
- NetDirector - http://www.netdirector.org/
- NodeDirector - http://nodedirector.bigsister.ch/
- openEMS - http://www.openems.org/
- openQRM - http://openqrm.org/
- openSIMS - http://opensims.org/
- Pandora - http://pandora.sourceforge.net/
- Webmin - http://www.webmin.com/
- Zenoss - http://www.zenoss.org/
相关链接
商业产品
- HP OpenView - http://www.software.hp.com.cn/
- IBM Tivoli - http://www-900.ibm.com/cn/software/tivoli/
- CA - http://www.ca.com.cn/products/
- BMC - http://www.bmc.com/
- Oracle Enterprise Manager - http://www.oracle.com/enterprise_manager/
分享您的观点