Lecture Notes in Computer Science 2444 Technologies for E-Services Third International Workshop
TES 20022002 年出版171 页ISBN:3540441107
Lecture Notes in Computer Science 2193 Technologies for E-Services Second International Workshop
TES 20012001 年出版213 页ISBN:3540425659
Lecture Notes in Computer Science 4034 Product-Focused Software Process Improvement 7th Internationa
PROFES 20062006 年出版474 页ISBN:3540346821
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN:9783540756637
Lecture Notes in Computer Science 4589 Product-Focused Software Process Improvement 8th Internationa
PROFES 20072007 年出版414 页ISBN:9783540734598
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 4582 Public Key Infrastructure 4th European PKI Workshop:Theory an
EuroPKI 20072007 年出版374 页ISBN:9783540734079
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676