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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer systems validation [electronic resource] : quality assurance, risk management, and regulato...
พิมพลักษณ์	Boca Raton, FL : Interpharm/CRC, c2004.
เลขเรียก	HD9665.5,W74 C73888 2004
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยอุบลราชธานี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Embedded systems and software validation [electronic resource] / Abhik Roychoudhury.
ชื่อผู้แต่ง	Roychoudhury, Abhik.
พิมพลักษณ์	Amsterdam ; Boston : Morgan Kaufmann Publishers/Elsevier, c2009.
เลขเรียก	TK7895.E42
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีสุรนารี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Global specification and validation of embedded systems : integrating heterogeneous components / G. ...
ชื่อผู้แต่ง	Nicolescu, G
พิมพลักษณ์	Dordrecht : Springer, c2007
เลขเรียก	TK7895.E42 NIC 2007
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

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

5

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

6

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

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Pharmaceutical and medical devices manufacturing computer systems validation / by Orlando Lopez.
ชื่อผู้แต่ง	Lopez, Orlando.
พิมพลักษณ์	Boca Raton : Routledge Taylor & Francis, c2018.
เลขเรียก	QV778 L965p 2018
ห้องสมุด	มหาวิทยาลัยมหิดล

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Pharmaceutical computer systems validation : quality assurance, risk management and regulatory comp...
พิมพลักษณ์	New York : Informa Healthcare, 2010.
เลขเรียก	HD9665.5 PHA 2010
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	System-Level Validation [electronic resource] : High-Level Modeling and Directed Test Generation Tec...
ชื่อผู้แต่ง	Chen, Mingsong
พิมพลักษณ์	New York, NY : Springer New York, c2013
เลขเรียก	TK7888.4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	The digital factory for knowledge [electronic resource] : production and validation of scientific re...
พิมพลักษณ์	London : ISTE-Wiley, c2018.
เลขเรียก	HD30.2
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Validation of communications systems with SDL : the art of SDL simulation and reachability analysis...
ชื่อผู้แต่ง	Doldi, Laurent.
พิมพลักษณ์	Chichester : Wiley, c2003
เลขเรียก	TK5103.2 DOL 2003,621.38450113 Do661V 20
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Validation, verification and test of knowledge-based systems / edited by Marc Ayel and Jean-Pierre ...
พิมพลักษณ์	Chichester : Wiley, c1991.
เลขเรียก	QA76.76.E95 .Y353 1991
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Desig...
ชื่อผู้แต่ง	Debbabi, Mourad
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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