Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
Lecture Notes in Computer Science 4364 Models in Software Engineering Workshops and Symposia at MoDE
2007 年出版332 页ISBN：9783540694885
Computer organization and design the hardware/software interface Fifth Edition Asian Edition = 计算机组成
David A. Patterson ; John L. Hennessy2014 年出版686 页ISBN：7111453161
Computer control of flexible manufacturing systems Research and development
1994 年出版478 页ISBN：0412562006
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN：3540211799
