Found: 10  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องAutomated Technology for Verification and Analysis [electronic resource] : 10th International Sympos...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องComputer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkele...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
image
ประเภทสื่อ Book
ชื่อเรื่องEmpirical Software Engineering and Verification [electronic resource] : International Summer Schools...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องFormal Verification of Object-Oriented Software [electronic resource] : International Conference, Fo...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
image
ประเภทสื่อ Book
ชื่อเรื่องHardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Veri...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
image
ประเภทสื่อ Book
ชื่อเรื่องLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studie...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
image
ประเภทสื่อ Book
ชื่อเรื่องLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
image
ประเภทสื่อ Book
ชื่อเรื่องRuntime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
image
ประเภทสื่อ Book
ชื่อเรื่องTools for Practical Software Verification [electronic resource] : LASER, International Summer School...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
image
ประเภทสื่อ Book
ชื่อเรื่องVerification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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