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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

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

3

ประเภทสื่อ	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

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