หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Integrated circuits -- Verification
Region
ภาคใต้
ปีที่พิมพ์
2011 (1)
2005 (1)
2004 (2)
ประเภทสื่อ
Book (4)
ภูมิภาค
ภาคใต้ (4)
ภาคตะวันออกเฉียงเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (1)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (4)
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
ภาษา
eng (4)
ผลการค้นหา
Found:
4
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
List(0)
Select Page
|
Deselect Page
|
ส่งออก
|
เคลียร์
1
ประเภทสื่อ
Book
ชื่อเรื่อง
Assertion-based design [electronic resource] / Harry Foster, Adam Krolnik, David Lacey.
ชื่อผู้แต่ง
Foster, Harry 1956-.
พิมพลักษณ์
Boston : Kluwer Academic Publishers, c2004.
เลขเรียก
TK7874.75 F68 2004ed
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
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
ชื่อเรื่อง
The E hardware verification language [electronic resource] / Sasan Iman, Sunita Joshi.
ชื่อผู้แต่ง
Iman, Sasan.
พิมพลักษณ์
Boston : Kluwer Academic Publishers, c2004.
เลขเรียก
TK7885.7 I43 2004eb
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
4
ประเภทสื่อ
Book
ชื่อเรื่อง
The simple art of SOC design [electronic resource] / Michael Keating.
ชื่อผู้แต่ง
Keating, Michael.
พิมพลักษณ์
New York : Springer, 2011.
เลขเรียก
TK7895.E42
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา