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

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

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
ชื่อเรื่อง	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยวลัยลักษณ์

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	The simple art of SOC design [electronic resource] / Michael Keating.
ชื่อผู้แต่ง	Keating, Michael.
พิมพลักษณ์	New York : Springer, 2011.
เลขเรียก	TK7895.E42
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Analytical method validation and instrument performance verification [electronic resource] / edite...
พิมพลักษณ์	Hoboken, N.J. : John Wiley & Sons, c2004.
เลขเรียก	RS189 A568 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Marine molluscs of Vietnam : annotations, voucher material, and species in need of verification : t...
ชื่อผู้แต่ง	Hylleberg, Jorgen 1935-.
พิมพลักษณ์	[Phuket : Marine Biological Center], 2003.
เลขเรียก	QL426.V5 H94 2003
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Tidal integration of princeton ocean model and its verification for the gulf of Thailand / Chairot...
ชื่อผู้แต่ง	Chairote yaiprasert.
พิมพลักษณ์	Nakhonsrithammarat : Walailak University, 2005.
เลขเรียก	GC321 C434 2005
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1

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