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
the complete book of curtains drapes & blinds design ideas for every type of window treatment
wendy baker2009 年出版288 页ISBN：0312586531
ENGINEERING THE GENETIC CODE EXPANDING THE AMINO ACID REPERTOIRE FOR THE DESIGN OF NOVEL PROTEINS
NEDILJKO BUDISA2006 年出版296 页ISBN：3527312439
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
GULF DRILLING GUIDES CASING AND LINERS FOR DRILLING AND COMPLETION DESIGN AND APPLICATION SECOND EDI
TED G.BYROM2015 年出版420 页ISBN：0128005705
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
