Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Confe
TLCA 20052005 年出版433 页ISBN：3540255931
Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN：3540424997
Lecture Notes in Computer Science 2289 Hybrid Systems:Computation and Control 5th International Work
HSCC 20022002 年出版478 页ISBN：354043321X
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con
2007 年出版631 页ISBN：9783540749738
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
Lecture Notes in Computer Science 3031 Smart Graphics 4th International Symposium
SG 20042004 年出版163 页ISBN：3540219773
Lecture Notes in Computer Science 3986 Trust Management 4th International Conference
iTrust 20062006 年出版474 页ISBN：3540342958
Lecture Notes in Computer Science 3968 Pervasive Computing 4th International Conference
PERVASIVE 20062006 年出版402 页ISBN：3540338942
