Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN：9783540774921
Lecture Notes in Computer Science 2981 Organic and Pervasive Computing-ARCS 2004 International Confe
2004 年出版339 页ISBN：3540212388
Lecture Notes in Computer Science 111 CONPAR 81 Conference on Analysing Problem Classes and Programm
1981 年出版508 页ISBN：3540108270
Lecture Notes in Computer Science 3824 Embedded and Ubiquitous Computing-EUC 2005 International Conf
2005 年出版1204 页ISBN：3540308075
Lecture Notes in Computer Science 4462 Information Security Theory and Practices Smart Cards
Mobile and Ubiquitous Computing Systems First IFIP TC6/WG8.8/WG11.2 International Workshop2007 年出版253 页ISBN：
Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004
2004 年出版822 页ISBN：3540232419
Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007
2007 年出版890 页ISBN：9783540749691
