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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced verification techniques : a systemC based approach for successful tapeout / by Leena Sing...
ชื่อผู้แต่ง	Singh, Leena, 1971-
พิมพลักษณ์	Boston : Kluwer Academi, c2004.
เลขเรียก	621.3815 S617A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	ASIC and FPGA verification [electronic resource] : a guide to component modeling / edited by Richard...
พิมพลักษณ์	San Francisco, CA : Morgan Kaufmann, 2005.
เลขเรียก	TK7874.6,621.395 M965a
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยธุรกิจบัณฑิตย์

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Co-verification of hardware and software for ARM SoC design [electronic resource] / Jason R. Andrews...
ชื่อผู้แต่ง	Andrews, Jason r.
พิมพลักษณ์	Amsterdam : Elsevier, c2005.
เลขเรียก	TK7874
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Comprehensive functional verification : the complete industry cycle / Bruce Wile, John C. Goss and...
ชื่อผู้แต่ง	Wile, Bruce.
พิมพลักษณ์	Amsterdam : Elsevier/Morgan Kaufmann, c2005.
เลขเรียก	TK7874.58 W5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (13th : 2001 : Paris)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	005.14 I61C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (14th : 2002 : Copenhagen, Denmark)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.14 I61C 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12,...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 I61C 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17,...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (16th : 2004 : Boston, Massachusetts)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.14 I61C 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer logic testing and verification / J. Paul Roth.
ชื่อผู้แต่ง	Roth, J. paul.
พิมพลักษณ์	Taipei] : s.n., c1980.
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conf...
ชื่อผู้แต่ง	CHARME 2001 (2001 : Livingston, Scotland)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	621.39 C482C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conf...
ชื่อผู้แต่ง	CHARME 2003 (2003 : L'Aquila, Italy)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	621.39 C482C 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahm...
พิมพลักษณ์	New York : Springer-Verlag, c1989.
เลขเรียก	621.395 C976
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	EDA for IC implementation, circuit design, and process technology [electronic resource] / edited b...
พิมพลักษณ์	Boca Raton, FL : CRC Taylor & Francis, 2006.
เลขเรียก	TK7874 .E257 2006
ห้องสมุด	มหาวิทยาลัยอุบลราชธานี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	EDA for IC system design, verification, and testing [electronic resource] / editors, Lou Scheffer,...
พิมพลักษณ์	Boca Raton, FL : Taylor & Francis, 2005.
เลขเรียก	TK7874 .E26 2005
ห้องสมุด	มหาวิทยาลัยอุบลราชธานี

1
2
3

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