Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus
1991 年出版331 页ISBN:3540538356