Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
- 作者LOPSTR 2005
- 出版社Springer-Verlag
- 标注页数179 页
- 文件页数190 页
- 文件大小81.78 MB
- 出版时间2006
- ISBN3540326545
同出版社推荐
APPLIED METALLOGRAPHYGEORGE F.VANDER VOORT · VAN NOSTRAND REINHOLD COMPANY · 1986
DATA BASE ARCHITECTUREIVAN FLORES · VAN NOSTRAND REINHOLD COMPANY · 1981
Plastics Engineering Handbook fourth editionVAN NOSTRAND REINHOLD COMPANY · 1976
REACTION INJECTION MOLDINGVAN NOSTRAND REINHOLD COMPANY · 1979
HOW TO LEGAL SERVICESROBERT W.DENNEY · VAN NOSTRAND REINHOLD COMPANY · 2222
HANDBOOK OF WATER QUALITY MANAGEMENT PLANINGVAN NOSTRAND REINHOLD COMPANY · 1977
Handbook of Themoplastic ElastomersVAN NOSTRAND REINHOLD COMPANY · 1979
DOCUMENT DATABASESVAN NOSTRAND REINHOLD COMPANY · 1985