LECTURES ON NUMERICAL METHODS FOR NON-LINEAR VARIATINAL PROBLEMS
R.GLOWINSKI1980 年出版240 页ISBN:3540087745
Lecture Notes in Control and Information Sciences 351 LMI Approach to Analysis and Control of Takagi
2007 年出版204 页ISBN:9783540495529
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335