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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

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

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification in all its aspects including the role of the united nations in the field of verificatio...
พิมพลักษณ์	New York : United Nations Publication, 2008.
เลขเรียก	KZ5624 .V47 2008
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Principles of functional verification [electronic resource] / Andreas Meyer.
ชื่อผู้แต่ง	Meyer, Andreas.
พิมพลักษณ์	Amsterdam : Elsevier/Newnes, 2004.
เลขเรียก	TK7874
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Standardized functional verification / Alan Wiemann
ชื่อผู้แต่ง	Wiemann, Alan
พิมพลักษณ์	New York : Springer, c2008
เลขเรียก	QA76.76.V47 WIE 2008
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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
ชื่อเรื่อง	Deadly arsenals: tracking weapons of mass destruction/ Joseph Cirincione, with Jon B. Wolfsthal and ...
ชื่อผู้แต่ง	Cirincione, Joseph
พิมพลักษณ์	Washington, D.C. : Carnegie Endowment for International Peace, 2002
เลขเรียก	U793 C57d 2002
ห้องสมุด	มหาวิทยาลัยนเรศวร

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Multilateral approaches to verification : with a review of Canadian research on arms control verifi...
พิมพลักษณ์	Otttawa : The Norman Paterson School of International Affairs, Carleton University, 1986.
เลขเรียก	UA12.5 M961
ห้องสมุด	มหาวิทยาลัยขอนแก่น

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germ...
ชื่อผู้แต่ง	Dagstuhl Seminar on Numerical Software with Result Verification (2003 : Dagstuhl, Germany)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	518.02855 D127N
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Software verification and validation for practitioners and managers [electronic resource] / Steven...
ชื่อผู้แต่ง	Rakitin, Steven r.
พิมพลักษณ์	Boston : Artech House, c2001.
เลขเรียก	QA76.76.V47 R35 2001eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Accuracy verification methods : theory and algorithms / Olli Mali, Pekka Neittaanmaki, Sergey Repi...
ชื่อผู้แต่ง	Mali, Olli Author.
เลขเรียก	518
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย

14

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

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana.
ชื่อผู้แต่ง	Lai, Richard.
พิมพลักษณ์	Boston : Kluwer, c1998.
เลขเรียก	TK5105.55 L185
ห้องสมุด	มหาวิทยาลัยขอนแก่น

1
2
3
4
5
6
7
8
9
10
>>
>>|

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