欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Cisco
来自开放百科 - 灰狐
（版本间的差异）
| 第3行： | 第3行： | ||
*http://en.wikipedia.org/wiki/Cisco | *http://en.wikipedia.org/wiki/Cisco | ||
*Cisco Blog: http://www.ciscoblog.com/ | *Cisco Blog: http://www.ciscoblog.com/ | ||
| + | *[https://cisco.hosted.jivesoftware.com The Cisco Learning Network] | ||
*http://www.cisco.com/web/CN/products/products_netsol/security/index.html | *http://www.cisco.com/web/CN/products/products_netsol/security/index.html | ||
*http://docs.huihoo.com/cisco/ | *http://docs.huihoo.com/cisco/ | ||
2008年12月31日 (三) 03:08的版本
Links
分享您的观点
