Thailand Union Catalog

ผลการค้นหา

Found: 2  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
Select Page   |  Deselect Page   |   ส่งออก   |  เคลียร์
1
image
ประเภทสื่อ Book
ชื่อเรื่องLogic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องMathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012,...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา
| | Help & Instruction