- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.sat4j.org/
- 软件文档: http://www.sat4j.org/doc.php
软件介绍
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
UNIX网络编程
史蒂文斯、芬纳、鲁道夫 / 杨继张 / 清华大学出版社 / 2006-1 / 98.00元
《UNIX网络编程》(第1卷)(套接口API第3版)第1版和第2版由已故UNIX网络专家W. Richard Stevens博士独自编写。《UNIX网络编程》(第1卷)(套接口API第3版)是3版，由世界著名网络专家Bill Fenner和Andrew M. Rudoff执笔，根据近几年网络技术的发展，对上一版进行全面修订，增添了IPv6的更新过的信息、SCTP协议和密钥管理套接口的内容，删除了X......一起来看看 《UNIX网络编程》 这本书的介绍吧!
