Lecture Notes in Computer Science 73 Graph-Grammars and Their Application to Computer Science and Bi
October 30-November 31979 年出版477 页ISBN:
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 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN: