Lecture Notes in Computer Science 3820 Embedded Software and Systems Second International Conference

ICESS 20052005 年出版779 页ISBN：3540308814

Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference

ICESS 2004 Hangzhou2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine

GTTSE 20052006 年出版471 页ISBN：354045778X

Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang

1996 年出版311 页ISBN：981022804X

Lecture Notes in Computer Science 4855 FSTTCS 2007:Foundetions of Software Technology and Theoretica

India2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3328 FSTTCS 2004:Foundations of Software Technology and Theoretica

India2004 年出版0 页ISBN：

Lecture Notes in Computer Science 4337 FSTTCS 2006:Foundations of Software Technology and Theoretica

India2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3821 FSTTCS 2005:Foundations of Software Technology and Theoretica

India2005 年出版0 页ISBN：

Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t

FOSSACS 20042004 年出版528 页ISBN：3540212981

Lecture Notes in Computer Science 4019 Algebraic Methodology and Software Technology 11th Internatio

AMAST 20062006 年出版389 页ISBN：3540356339