Two-dimensional Phase Unwrapping: Theory, Algorithms, and Software一书的源代码

英文版的汽车软件工程-原理.过程.方法.工具，原汁原味。

Software Engineering, 8th edition, Ian Sommerville 2006 全英文PDF版课件 第二版

Petrify is a tool for the synthesis of bounded Petri nets and logic synthesis of asynchronous controllers. Petrify initially performs a token flow analysis of the Petri net and produces a finite transition system (TS). In the initial TS, all transitions with the same label are considered as one event. The TS is then transformed and transitions relabeled to fulfil the conditions required to obtain a Petri net with bisimilar or trace-equivalent behavior. Some properties for the synthesized Petri net can be imposed (e.g. free-choice, uniquechoice, pure, state-machine decomposable, etc.). Additionally, petrify can interpret the Petri net as a Signal Transition Graph (STG), in which events represent rising/falling transitions of digital signals. From an STG, petrify can synthesize a speed-independent circuit by solving the problems of state encoding, logic synthesis, logic decomposition and technology mapping onto a gate library. Petrify can also synthesize circuit under timing assumptions specified by the designer or automatically generated by the tool. Petrify reads the input description from stdin and writes the resulting STG to stdout unless otherwise specified

这本书挺不错的跟大家分享一下，O(∩_∩)O~

All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It’s time for that to change. In “Composing Software”, Eric Elliott shares the fundamentals of composition, including both function composition and object composition, and explores them in the context of JavaScript. The book covers the foundations of both functional programming and object oriented programming to help the reader better understand how to build and structure complex applications using simple building blocks.

software foundations 4.2.pdf, 软件基础英文版，，，，

包含64位的，64位的网上不好找，插件支持8.16.32位通道颜色和灰度图像支持。插件经过运算后会在您的图像上生成非常漂亮的星光滤镜效果，无需使用笨重的过滤器。这个插件使您能够控制每一个环节所呈现的效果，并提供了衍射的数学模拟，美丽，自然的，三维的输出。

【IBM Rational Software Architect（RSA) 9.0破解文件】，解压后将jar包复制到\IBMIMShared\plugins目录，覆盖原文件，亲测可用。

设计模式：可复用面向对象软件的基础（中文）Design Patterns：Elements of Reusable Object-Oriented software