美国密歇根大学计算机科学教材系统-非线性系统研究生教材。