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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Computer File
ชื่อเรื่อง	Active-HDL 6.3 [electronic resource] : complete FPGA verification environment.
พิมพลักษณ์	Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

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

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain...
ชื่อผู้แต่ง	International spin workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.V47 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : pro...
ชื่อผู้แต่ง	International SPIN Workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.14 I61M 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA297 N867 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

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

1

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