Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
high efficient and accuracy numerical methods for optimal control problems=最优控制问题高效高精度算法
chen yanping（陈艳萍）and lu zuliang（鲁祖亮）2015 年出版388 页ISBN：7030463951
本书主要介绍了几类最优控制问题的高效算法，包括了椭圆最优控制问题、抛物最优控制问题、双曲最优控制问题、四阶最优控制问题等新近热门领域，结合了作者本人在最优控制问题方面的研究成果，并根据作者对有限元...
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
Lecture Notes in Computer Science 340 Advances in Petri Nets 1988
1988 年出版439 页ISBN：3540505806
Computer Algebra in Scientific Computing CASC 2001
2001 年出版556 页ISBN：3540423559
Advances in Computer Programming Management Volume 1
1980 年出版238 页ISBN：0855016035
