jmpress.js
- 授权协议: MIT
- 开发语言: JavaScript
- 操作系统: 跨平台
- 软件首页: http://shama.github.com/jmpress.js/
- 软件文档: http://shama.github.com/jmpress.js/#docs-start
软件介绍
一个jQuery的impress.js实现,基于CSS3变化和过度效果。只支持现代浏览器,所以只支持Chrome,Safari和Firefox10支持,当然以后肯定支持所有的浏览器
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》 这本书的介绍吧!
