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 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
CONSTRUCTING THE AMERICAN PAST A SOURCE BOOK OF A PEOPLE'S HISTORY FIFTH EDITION VOLUME 2
ELLIOTT J.GORN2005 年出版334 页ISBN:
CONSTRUCTING THE AMERICAN PAST:A SOURCE BOOK OF A PEOPLE'S HISTORY THIRD EDITION VOLUME I
1999 年出版302 页ISBN:0321002172
STATE-BY-STATE GUIDE TO DESIGN AND CONSTRUCTION CONTRACTS AND CLAIMS VOLUME 2 SECOND EDITION
MICHAEL DODD AND J.DUNCAN FINDLAY2013 年出版1891 页ISBN:1454827793
STATE-BY-STATE GUIDE TO DESIGN AND CONSTRUCTION CONTRACTS AND CLAIMS VOLUME 1 SECOND EDITION
MICHAEL DODD AND J.DUNCAN FINDLAY2011 年出版1746 页ISBN:1454827785