Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
LECTURE NOTES IN MATHEMATICS 1336: SEMI-CLASSICAL ANALYSIS FOR THE SCHRODINGER OPERATOR AND APPLICAT
1988 年出版110 页ISBN:3540500766;0387500766
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN:3540531033;087531033
Proceedings 1996 IEEE International Conference on Robotics and Automation Volume 4 V.A
IEEE Robotics and Automation Society1996 年出版3288 页ISBN:
Proceedings 1996 IEEE International Conference on Robotics and Automation Volume 3 V.A
IEEE Robotics and Automation Society1996 年出版2364 页ISBN:
Proceedings 2000 IEEE International Conference on Robotics and Automation Volume 3 V.A
IEEE Robotics and Automation Society2000 年出版2524 页ISBN:
Proceedings 1999 IEEE International Conference on Robotics and Automation Volume 2 V.A
IEEE Robotics and Automation Society1999 年出版1218 页ISBN:
Proceedings 1996 IEEE International Conference on Robotics and Automation Volume 2 V.A
IEEE Robotics and Automation Society1996 年出版1426 页ISBN:
Proceedings 2001 IEEE International Conference on Robotics and Automation V.4 V.a
IEEE Robotics and Automation Society2001 年出版3754 页ISBN: