欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
IT management
来自开放百科 - 灰狐
（版本间的差异）
| 第19行： | 第19行： | ||
==商业产品== | ==商业产品== | ||
| + | *HP OpenView - http://www.software.hp.com.cn/ | ||
*IBM Tivoli - http://www-900.ibm.com/cn/software/tivoli/ | *IBM Tivoli - http://www-900.ibm.com/cn/software/tivoli/ | ||
| + | *CA - http://www.ca.com.cn/products/ | ||
| + | *BMC - | ||
| + | *Oracle Enterprise Manager - http://www.oracle.com/enterprise_manager/ | ||
2006年7月28日 (五) 19:40的版本
开源项目
- 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 -
- Oracle Enterprise Manager - http://www.oracle.com/enterprise_manager/
分享您的观点
