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

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

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, U...
ชื่อผู้แต่ง	FMCAD 2002 (4th : 2002 : Portland, Or.)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	621.392 F648F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods in computer-aided design : Third International Conference, FMCAD 2000, Austin, Texas...
ชื่อผู้แต่ง	FMCAD 2000 (2000 : Austin, Tex.)
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	621.392 F648F
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal specification and verification of digital systems / George Milne.
ชื่อผู้แต่ง	Milne, George.
พิมพลักษณ์	London : McGraw-Hill, c1994.
เลขเรียก	TK7874.65 M5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

1
2

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