Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 3080:Business Process Management
Jorg Desel2004 年出版310 页ISBN：
Lecture Notes in Computer Science 3280 Computer and Information Science-ISCIS 2004 19th Internationa
2004 年出版1009 页ISBN：3540235264
Lecture Notes in Computer Science 3511 Metainformatics International Symposium
MIS 20042005 年出版221 页ISBN：354027328X
Lecture Notes in Computer Science 3689:Information Retrieval Technology
Gary Geunbae Lee2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3411:Information Retrieval Technology
Sung Hyon Myaeng2005 年出版0 页ISBN：
Lecture Notes in Computer Science 4182:Information Retrieval Technology
Hwee Tou Ng2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3838 Processes
Terms and Cycles:Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday2005 年出版638 页ISBN：354030911X
