หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Computer programs -- Validation
Region
ภาคกลาง(กรุงเทพและปริมณฑล)
ปีที่พิมพ์
2012 (2)
2010 (2)
2007 (1)
1995 (1)
1982 (1)
ประเภทสื่อ
Book (7)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (7)
ห้องสมุด
มหาวิทยาลัยศิลปากร (1)
มหาวิทยาลัยมหิดล (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (4)
จุฬาลงกรณ์มหาวิทยาลัย (1)
มหาวิทยาลัยบูรพา (1)
ภาษา
eng (7)
ผลการค้นหา
Found:
7
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
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
ชื่อเรื่อง
Validation compliance annual 1995 / International Validation Forum, Inc.
พิมพลักษณ์
New York : Marcel Dekker, c1995.
เลขเรียก
QV778 V172 1995
ห้องสมุด
มหาวิทยาลัยมหิดล
จุฬาลงกรณ์มหาวิทยาลัย
7
ประเภทสื่อ
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
Loading...
ส่งข้อเสนอแนะ/ปัญหา