- 授权协议: AGPL
- 开发语言: PHP
- 操作系统: 跨平台
- 软件首页: http://www.digitaldruid.net/php-residence/en/
- 软件文档: http://www.digitaldruid.net/php-residence/en/doc.html
软件介绍
======Hoteldruid 主要设计用来管理日租和月租的酒店和旅行社的房间。支持 PostgreSQL、MySQL 和 SQLite 数据库。可使用预设规则进行房间预订管理，支持多用户管理等。
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
