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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Software verification and validation for practitioners and managers [electronic resource] / Steven...
ชื่อผู้แต่ง	Rakitin, Steven r.
พิมพลักษณ์	Boston : Artech House, c2001.
เลขเรียก	QA76.76.V47 R35 2001eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Accuracy verification methods : theory and algorithms / Olli Mali, Pekka Neittaanmaki, Sergey Repi...
ชื่อผู้แต่ง	Mali, Olli Author.
เลขเรียก	518
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Hardware design verification : simulation and formal method-based approaches / William K. Lam.
ชื่อผู้แต่ง	Lam, William k.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice Hall PTR, c2005.
เลขเรียก	TK7874.58 L3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA297 N867 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	The E hardware verification language [electronic resource] / Sasan Iman, Sunita Joshi.
ชื่อผู้แต่ง	Iman, Sasan.
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c2004.
เลขเรียก	TK7885.7 I43 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Verification การทวนสอบเชิงรูปนัย / วิวัฒน์ วัฒนาวุฒิ.
ชื่อผู้แต่ง	วิวัฒน์ วัฒนาวุฒิ
พิมพลักษณ์	กรุงเทพฯ : ภาควิชาวิศวกรรมศาสตร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย, 2561.
เลขเรียก	QA 39.2 ว742ก,005.133 ว237ฟ
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยบูรพา มหาวิทยาลัยศรีนครินทรวิโรฒ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	IEE 16th edition wiring regulations : design and verification of electrical installations / Brian ...
ชื่อผู้แต่ง	Scaddan, Brian
พิมพลักษณ์	Oxford : Newnes, c1998
เลขเรียก	TK3271 I43 1998
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

8

ประเภทสื่อ	Computer File
ชื่อเรื่อง	Active-HDL 6.3 [electronic resource] : complete FPGA verification environment.
พิมพลักษณ์	Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Assertion-based design [electronic resource] / Harry Foster, Adam Krolnik, David Lacey.
ชื่อผู้แต่ง	Foster, Harry 1956-.
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c2004.
เลขเรียก	TK7874.75 F68 2004ed
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Disarming Iraq : the search for weapons of mass destruction / Hans Blix.
ชื่อผู้แต่ง	Blix, Hans.
พิมพลักษณ์	London : Bloomsbury, c2004.
เลขเรียก	U793 B6d
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Forecast verification : a practitioner's guide in atmospheric science / edited by Ian T. Jolliffe,...
พิมพลักษณ์	Chichester, West Sussex ; Hoboken, NJ : Wiley-Blackwell, 2012.
เลขเรียก	551.63 F714 2012
ห้องสมุด	มหาวิทยาลัยทักษิณ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Forecast verification [electronic resource] : a practitioner's guide in atmospheric science / edited...
พิมพลักษณ์	Chichester, West Sussex, England ; Hoboken, NJ : J. Wiley, c2003.
เลขเรียก	QC996.5 F67 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Induced Somaclonal Variation of Sang Yod Phatthalung Rice and Verification of Somaclonal Variants by...
ชื่อผู้แต่ง	Paramaporn Noimusik
พิมพลักษณ์	2022
เลขเรียก	SB191.R5 P37 2022
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking [electronic resource] / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
ชื่อผู้แต่ง	Clarke, E. m. 1945-.
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c1999.
เลขเรียก	QA76.76.V47 C553 1999eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain...
ชื่อผู้แต่ง	International spin workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.V47 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1
2

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