Found: 10  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องAutomated Technology for Verification and Analysis [electronic resource] : 8th International Symposi...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องComputer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinbur...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
image
ประเภทสื่อ Book
ชื่อเรื่องLeveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th ...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องLeveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th ...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
image
ประเภทสื่อ Book
ชื่อเรื่องRuntime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, M...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
image
ประเภทสื่อ Book
ชื่อเรื่องSpecification and Verification of Declarative Open Interaction Models [electronic resource] : A Logi...
ชื่อผู้แต่งMontali, Marco
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.76.A65
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
image
ประเภทสื่อ Book
ชื่อเรื่องSpecification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastan...
พิมพลักษณ์Boston, MA : Springer US, c2010
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
image
ประเภทสื่อ Book
ชื่อเรื่องVerification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Desig...
ชื่อผู้แต่งDebbabi, Mourad
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
image
ประเภทสื่อ Book
ชื่อเรื่องVerification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียกQA76.758
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
image
ประเภทสื่อ Book
ชื่อเรื่องการเพิ่มประสิทธิผลการทดสอบสตอรด์โพรซีเยอร์ด้วยการทวนสอบสถานะฐานข้อมูล / พงศกร รุ่งสุวรรณกิจ = Enhan...
ชื่อผู้แต่งพงศกร รุ่งสุวรรณกิจ
พิมพลักษณ์2553.
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย

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