Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN:9783540768043
EXPERIMENTS IN PHYSIOLOGY AND BIOCHEMISTRY Volume 6
2222 年出版317 页ISBN:0124046568
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
PETER WENNRICH ANGLO-AMERICAN AND GERMAN ABBREVIATIONS IN SCIENCE AND TECHNOLOGY 1ST EDITION PART
P-Z2222 年出版2276 页ISBN:3794010442
Lecture Notes in Computer Science 3677 Communications and Multimedia Security 9th IFIP TC-6 TC-11 In
CMS 20052005 年出版360 页ISBN:3540287914