Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
LECTURE NOTES IN MATHEMATICS 1458: GLOBAL SOLUTION BRANCHES OF TWO POINT BOUNDARY VALUE PROBLEMS
1990 年出版141 页ISBN：3540535144;0387535144
LECTURE NOTES IN MATHEMATICS 1138: ACTIONS OF DISCRETE AMENABLE GROUPS ON VON NEUMANN ALGEBRAS
1985 年出版116 页ISBN：3540156631;0387156631
LECTURE NOTES IN MATHEMATICS 1409: THE NUMERICAL SOLUTION OF DIFFERENTIAL ALGEBRAIC SYSTEMS BY RUNGE
1989 年出版142 页ISBN：3540518606;0387518606
LECTURE NOTES IN MATHEMATICS 1261: FINITE PRESENTABILITY OF S-ARITHMETIC GROUPS COMPACT PRESENTABILI
1987 年出版187 页ISBN：3540179755;0387179755
Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho
MoChArt IV Riva Del Garda2222 年出版0 页ISBN：
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
Lecture Notes in Artificial Intelligence 3890 Defence Applications of Multi-Agent Systems Internatio
DAMAS 20052006 年出版141 页ISBN：3540328327
