Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
The Proceedings of the 21st International Technical Conference on Coul Utilization and Fuel Systems
2006 年出版1208 页ISBN:0932066317
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
Advances in Process Systems Engineering-Vol.1 MULTI-OBJECTIVE OPTIMIZATION:Techniques and Applicatio
2009 年出版435 页ISBN:9789812836519
Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN:3540232524