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 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
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
构式 论元结构的构式语法研究 a construction grammar approach to argument structure
(美)Adele E. Goldberg著;吴海波译2007 年出版265 页ISBN:7301116675
在本书中,作者以语言学、语言习得和计算机科学的研究成果为基础,提出语法构架在解释简单句的形式和意义之间的关系中起着至关重要的作用。作者证明与简单句相联的句法型式本身具有意义——即构架本身具有独立...
Solar Farms The Earthscan Expert Guide to Design and Construction of Utility-scale Photovoltaic Syst
Susan Neill2016 年出版234 页ISBN: