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

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

List(0)

Select Page | Deselect Page |

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

1

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

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

6

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

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Software engineering reviews and audits / Boyd L. Summers.
ชื่อผู้แต่ง	Summers, Boyd l.
พิมพลักษณ์	Boca Raton, Fla. : CRC Press/Auerbach, c2011.
เลขเรียก	QA76.758 S9,005.1 S955S
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏนครปฐม

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Software verification and validation : an engineering and scientific approach / by Marcus S. Fishe...
ชื่อผู้แต่ง	Fisher, Marcus S.
พิมพลักษณ์	New York : Springer, c2007.
เลขเรียก	QA76.76.V47 F5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Specification by example [electronic resource] : how successful teams deliver the right software / G...
ชื่อผู้แต่ง	Adzic, Gojko.
พิมพลักษณ์	Shelter Island, NY : Manning, c2011.
เลขเรียก	QA76.76.D47
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification and validation for quality of uml 2.0 models / Bhuvan Unhelkar.
ชื่อผู้แต่ง	Unhelkar, Bhuvan.
พิมพลักษณ์	New York : Wiley, c2005
เลขเรียก	QA76.76.V47 UNH 2005,005.177 U542V 2005
ห้องสมุด	มหาวิทยาลัยราชภัฏศรีสะเกษ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยธุรกิจบัณฑิตย์

12

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

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Web security testing cookbook [electronic resource] : systematic techniques to find problems fast / ...
ชื่อผู้แต่ง	Hope, Paco.
พิมพลักษณ์	Sebastopol, CA : O'Reilly, 2009.
เลขเรียก	TK5105.59
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

1

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