Found: 2  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องComputer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint P...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องEmbedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 Internati...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกTK7874.6
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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