Found: 3  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ 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
image
ประเภทสื่อ 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
image
ประเภทสื่อ 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
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย

© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา