Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere
IJCAR 20042004 年出版492 页ISBN:3540223452
LECTURE NOTES IN MATHEMATICS 1038: ALGEBRA IN A LOCALIC TOPOS WITH APPLICATIONS TO RING THEORY
1983 年出版243 页ISBN:3540127119;0387127119
Lecture Notes in Artificial Intelligence 3550 Multiagent System Technologies Third German Conference
MATES 20052005 年出版246 页ISBN:354028740X
LECTURE NOTES IN MATHEMATICS 771 APPROXIMATION METHODS FOR NAVIER-STOKES PROBLEMS
R.RAUTMANN2222 年出版581 页ISBN:3540097341
COMPUTER-CONTROLLED SYSTEMS THEORY AND DESIGN
KARL J.ASTROM BJORN WITTENMARK2222 年出版557 页ISBN:7302050082
COMPUTER AIDED DESIGN FUNDAMENTALS AND SYSTEM ARCHITECTURES
J.ENCARNACAO E.G.SCHLECHTENDAHL2222 年出版346 页ISBN:3540115269
LECTURE NOTES IN MATHEMATICS 1341: ELLIPTIC BOUNDARY VALUE PROBLEMS ON CORNER DOMAINS
1988 年出版259 页ISBN:354050169X;038750169X