Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
What Can Be Automated? The Computer Science and Engineering Research Study
Bruce W.Arden1980 年出版934 页ISBN：
Handbook of research on emerging advancements and technologies in software engineering
Imran Ghani ; Wan Mohd Nasir Wan Kadir ; Mohammad Nazir Ahmad2014 年出版688 页ISBN：1466660267
Lecture Notes in Artificial Intelligence 4798 Knowledge Science
Engineering and Management Second International Conference2007 年出版669 页ISBN：
Lecture Notes in Artificial Intelligence 4092 Knowledge Science
Engineering and Management First International Conference2006 年出版664 页ISBN：
RESEARCH IN MECHANICAL ENGINEERING AND MATERIAL SCIENCE
ZHONGJUN HU2014 年出版670 页ISBN：9783037859285
COMPUTER APPLICATIONS IN PLASMA SCIENCE AND ENGINEERING
ADAM T.DROBOT2222 年出版457 页ISBN：0387974555
