Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Confe
TLCA 20052005 年出版433 页ISBN：3540255931
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 720 Database and Expert Systems Applications 4th International Con
DEXA931993 年出版770 页ISBN：3540572341
Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN：3540424997
Lecture Notes in Computer Science 4685 Grid Economics and Business Models 4th International Workshop
GECON 20072007 年出版201 页ISBN：9783540744283
Lecture Notes in Computer Science 4653 Database and Expert Systems Applications 18th International C
DEXA 20072007 年出版910 页ISBN：9783540744672
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 2034 Hybrid Systems:Computation and Control 4th International Work
HSCC 20012001 年出版516 页ISBN：3540418660
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN：3540230351
Lecture Notes in Computer Science 3588 Database and Expert Systems Applications 16th International C
DEXA 20052005 年出版955 页ISBN：3540285660
