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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Guidance for the verification and validation of neural networks / Laura L. Pullum, Brian J. Taylor ...
ชื่อผู้แต่ง	Pullum, Lauren L
พิมพลักษณ์	Hoboken, N.J. : John Wiley & Sons, c2007
เลขเรียก	QA76.87 PUL 2007
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studie...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

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

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Softwarw verification and validation : realistic project appoaches / Michael S. Deutsch.
ชื่อผู้แต่ง	Deutsch, Michael S.
พิมพลักษณ์	Englewood Cliffs,N.J. : Prentice-Hall, c1982.
เลขเรียก	QA76.6 D48 1982
ห้องสมุด	มหาวิทยาลัยศิลปากร

6

ประเภทสื่อ	Book
ชื่อเรื่อง	System-level test and validation of hardware/software systems / M. Sonza Reorda, Z. Peng, M. Violan...
พิมพลักษณ์	London : Springer, 2005.
เลขเรียก	QA76.76.S64 S96 2005
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Validation compliance annual 1995 / International Validation Forum, Inc.
พิมพลักษณ์	New York : Marcel Dekker, c1995.
เลขเรียก	QV778 V172 1995
ห้องสมุด	มหาวิทยาลัยมหิดล จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยบูรพา

1

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