- 授权协议: BSD
- 开发语言: Python
- 操作系统: 跨平台
- 软件首页: https://www.nodebox.net
- 软件文档: https://www.nodebox.net/node/documentation
软件介绍
Nodebox是一个建立在Python语言基础上的开源免费图形软件,用于数据可视化和生产设计。NodeBox与Processing类似,但是没有Processing的互动功能。它有自带的图形库,也可以从photoshop和illustrator导入矢量图形,或者自定义编码生成二维分形图像和动画,可导出为PDF和Quick Time文件。
Nodebox包含三个独立部分:Nodebox 3(跨平台),Nodebox 1(Mac OS X),Nodebox for OpenGL(Windows)。
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》 这本书的介绍吧!
