Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN:3540326545
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN:3540221743
ADVANCED ASIC CHIP SYNTHESIS Using Synopsys Design Compiler Physical Compiler and PrimeTime SECOND E
Himanshu Bhatnagar2002 年出版328 页ISBN:
Biofuels and bioenergy processes and technologies
Sunggyu Lee ; Yatish T. Shah2013 年出版324 页ISBN:1420089554