Computer-aided molecular design applications in agrochemicals, materials, and pharmaceuticals

Available for University of the Philippines Diliman via ACS Publications. Click here to access
Also available remotely for University of the Philippines Diliman via ACS Publications. Click here to access thru EZproxy

Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Easy-PC handbook af Sinclair, Ian Robertson

Physical design of CMOS integrated circuits using L-Edit af Uyemura, John P. 1952-

Algorithms for VLSI physical design automation af Sherwani, N. A.

VLSI physical design automation theory and practice af Sait, Sadiq M. 1957-

Computer-aided design of polymer-matrix composite structures

Routing in the third dimension from VLSI chips to MCMs af Sherwani, Naveed A.

Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

Digital timing macromodeling for VLSI design verification af Kong, Jeong-Taek 1959-