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 Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus
1991 年出版331 页ISBN:3540538356
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN:9783540720782