Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN:3540311424
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN:0387512373
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Lecture Notes in Computer Science 4419 Reconfigurable Computing:Architectures
Tools and Applications Third International Workahop2007 年出版392 页ISBN:
Lecture Notes in Computer Science 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN:
Lecture Notes in Computer Science 3649:Business Porcess Management
Wil M.P.van der Aalst2005 年出版0 页ISBN:
Lecture Notes in Computer Science 3865 Computer Supported Cooperative Work in Design II 9th Internat
CSCWD 2005 Coventry2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3168 Computer Supported Cooperative Work in Design I 8th Internati
CSCWD 2004 Xiamen2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN:3540234276