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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal system verification : state-of the-art and future trends / Rolf Drechsler, editor
พิมพลักษณ์	Cham : Springer, c2018
เลขเรียก	QA76.76.V47 FOR 2018
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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
ชื่อเรื่อง	Principles of verifiable RTL design : a functional coding style supporting verification processes in...
ชื่อผู้แต่ง	Bening, Lionel
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c2001 [3rd printing 2002]
เลขเรียก	TK7874.75 BEN 2002
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	SystemVerilog for verification [electronic resource] : a guide to learning the testbench language fe...
ชื่อผู้แต่ง	Spear, Chris.
พิมพลักษณ์	New York, NY : Springer, c2012.
เลขเรียก	TK7885.7
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Timing verification of application-specific integrated circuits (ASICs) / Farzad Nekoogar.
ชื่อผู้แต่ง	Nekoogar, Farzad.
พิมพลักษณ์	Upper Saddle River, NJ : Prentice Hall, c1999.
เลขเรียก	TK7874.6 N45 1999
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefe...
ชื่อผู้แต่ง	Yoeli, Michael
พิมพลักษณ์	Hoboken, NJ : John Wiley, c2008.
เลขเรียก	TK7874.58 Y62v,621.381548 V516
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh and Mukul Prasad.
ชื่อผู้แต่ง	Fujita, Masahiro.
พิมพลักษณ์	Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
เลขเรียก	TK7895.E42 F8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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