สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 4 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, M...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification and validation in scientific computing / William L. Oberkampf, Christopher J. Roy.
ชื่อผู้แต่ง	Oberkampf, William l. 1944-
พิมพลักษณ์	Cambridge : Cambridge University Press, c2010.
เลขเรียก	003.3 Ob12V
ห้องสมุด	มหาวิทยาลัยบูรพา

4

ประเภทสื่อ	Book
ชื่อเรื่อง	การเพิ่มประสิทธิผลการทดสอบสตอรด์โพรซีเยอร์ด้วยการทวนสอบสถานะฐานข้อมูล / พงศกร รุ่งสุวรรณกิจ = Enhan...
ชื่อผู้แต่ง	พงศกร รุ่งสุวรรณกิจ
พิมพลักษณ์	2553.
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1

ส่งข้อเสนอแนะ/ปัญหา