Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 3945 Functional and Logic Programming 8th International Symposium
FLOPS 20062006 年出版294 页ISBN：3540334386
Lecture Notes in Computer Science 3715 Progress in Cryptology-Mycrypt 2005 First International Confe
2005 年出版329 页ISBN：3540289380
Lecture Notes in Computer Science 4465 Network Comtrol and Optimization First EuroFGI International
NET-COOP 20072007 年出版304 页ISBN：9783540727088
Lecture Notes in Computer Science 2998 Functional and Logic Programming 7th International Symposium
FLOPS 20062004 年出版307 页ISBN：354021402X
Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium
FLOPS 2001 Tokyo2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3184 Trust and Privacy in Digital Business First International Con
TrustBus 20042004 年出版299 页ISBN：3540229191
