Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Control and Information Sciences 242 Nonlinear Control Systems An Algebraic Setting
1999 年出版166 页ISBN：1852331518
Lecture Notes in Artificial Intelligence 3848 Constraint-Based Mining and Inductive Databases Europe
2005 年出版401 页ISBN：3540313311
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 92 LARGE SCALE SYSTEMS STABILITY UNDER STRUCTURAL
1987 年出版367 页ISBN：3540183000
SOFTWARE ENGINEERING RISK ANALYSIS AND MANAGEMENT
ROBERT N.CHARETTE2222 年出版325 页ISBN：
automating with simatic hardware and software
configuration and programmingoper 年出版0 页ISBN：
automating with simatic hardware and software
configuration and programmingoper 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3890 Defence Applications of Multi-Agent Systems Internatio
DAMAS 20052006 年出版141 页ISBN：3540328327
Software Configuration Management An Investment in Product Integrity
1980 年出版385 页ISBN：0138217696
