Found: 3  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องLogic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่งMiddelburg, Cornelis a.
พิมพลักษณ์London ; New York : Chapman & Hall, 1993.
เลขเรียกQA76.7 M53 1993
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
2
image
ประเภทสื่อ Book
ชื่อเรื่องPractical aspects of declarative languages [electronic resource] : 6th international symposium, PA...
ชื่อผู้แต่งPadl 2004 (2004 : Dallas, Tex.)
พิมพลักษณ์Berlin ; New York : Springer, c2004.
เลขเรียกQA76.7 P32 2004eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
3
image
ประเภทสื่อ Book
ชื่อเรื่องThe logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่งNait abdallah, Areski 1950-.
พิมพลักษณ์Berlin ; New York : Springer, c1995.
เลขเรียกQA76.7 N35 1995
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์

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