Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
high efficient and accuracy numerical methods for optimal control problems=最优控制问题高效高精度算法
chen yanping（陈艳萍）and lu zuliang（鲁祖亮）2015 年出版388 页ISBN：7030463951
本书主要介绍了几类最优控制问题的高效算法，包括了椭圆最优控制问题、抛物最优控制问题、双曲最优控制问题、四阶最优控制问题等新近热门领域，结合了作者本人在最优控制问题方面的研究成果，并根据作者对有限元...
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN：3540152164
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4528 Nature Inspired Problem-Solving Methods in Knowledge Engineer
IWINAC 20072007 年出版650 页ISBN：9783540730545
Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20072007 年出版494 页ISBN：9783540741954
Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First
SSVM 20072007 年出版931 页ISBN：9783540728221
Lecture Notes in Computer Science 3757 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20052005 年出版666 页ISBN：3540302875
DATA HANDLING IN SCIENCE AND TECHNOLOGY VOLUME 27 SCIENTIFIC DATA RANKING METHODS:THEORY AND APPLICA
MANUELA PAVAN2008 年出版213 页ISBN：
