Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
Applications of Automation Technology to Fatigue and Fracture Testing and Analysis:Third Volume STP
A.A.Braun L.N.Gilbertson2222 年出版157 页ISBN:0803124163
DATABASE SYSTEMS FOR ADVANCED APPLICATIONS
SHAMKANT B.NAVATHE.WEILI WU2016 年出版469 页ISBN:9783319320489
Database Transaction Models for Advanced Applications
2222 年出版611 页ISBN:1558602143