Found: 5  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องDistortion analysis of analog integrated circuits / by Piet Wambacq and Willy Sansen ; with a forewa...
ชื่อผู้แต่งWambacq, Piet
พิมพลักษณ์Boston, MA : Kluwer Academic, c1998
เลขเรียกTK7874 WAM 1998
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องSymbolic analysis and reduction of VLSI circuits [electronic resource] / Zhanhai Qin, Sheldon X....
ชื่อผู้แต่งQin, Zhanhai 1976-.
พิมพลักษณ์New York, N.Y. : Springer, c2005.
เลขเรียกTK7874.75 Q26 2005eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
3
image
ประเภทสื่อ Book
ชื่อเรื่องSymbolic analysis and reduction of VLSI circuits / Zhanhai Qin, Sheldon X.D. Tan, Chung-Kuan Cheng
ชื่อผู้แต่งQin, Zhanhai
พิมพลักษณ์New York : Springer, c2005
เลขเรียกTK7874.75 QIN 2005
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องSymbolic analysis techniques : applications to analog design automation / edited by Francisco V. F...
พิมพลักษณ์New York : IEEE Pr., c1998.
เลขเรียกTK7874 S986
ห้องสมุดมหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีสุรนารี
5
image
ประเภทสื่อ Book
ชื่อเรื่องSymbolic model checking / by Kenneth L. McMillan
ชื่อผู้แต่งMcMillan, Kenneth L
พิมพลักษณ์Boston : Kluwer Academic, c1993
เลขเรียกTK7888.4 MAC 1993
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา