- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://www.sat4j.org/
- 软件文档: http://www.sat4j.org/doc.php
软件介绍
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf
Tomcat架构解析
刘光瑞 / 人民邮电出版社 / 2017-5 / 79.00元
本书全面介绍了Tomcat的架构、各组件的实现方案以及使用方式。包括Tomcat的基础组件架构以及工作原理，Tomcat各组件的实现方案、使用方式以及详细配置说明，Tomcat与Web服务器集成以及性能优化，Tomcat部分扩展特性介绍等。读者可以了解应用服务器的架构以及工作原理，学习Tomcat的使用、优化以及详细配置。一起来看看 《Tomcat架构解析》 这本书的介绍吧!
