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 3519 Computer Algebra and Geometric Algebra With Applications 6th
IWMM 20042005 年出版449 页ISBN：3540262962
Lecture Notes in Computer Science 3980 Computational Science and Its Applications-ICCSA 2006 Interna
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4705 Computational Science and Its Applications-ICCSA 2007 Interna
Osvaldo Gervasi2007 年出版1169 页ISBN：
Lecture Notes in Computer Science 3981 Computational Science and Its Applications-ICCSA 2006 Interna
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN：3540331700
Lecture Notes in Computer Science 3414 Hybrid Systems:Computation and Control 8th International Work
HSCC 20052005 年出版684 页ISBN：3540251081
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN：3540358420
Lecture Notes in Computer Science 4416 Hybrid Systems:Computation and Control 10th International Wor
HSCC 20072007 年出版797 页ISBN：9783540714927
