Found: 4  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องComputational semantics with functional programming / by Jan van Eijck, Christina Unger.
ชื่อผู้แต่งEijck, J. van
พิมพลักษณ์Cambridge : Cambridge University Press, 2010.
เลขเรียกQA76.7 E34 2010,005.131 E34C
ห้องสมุดมหาวิทยาลัยศิลปากร
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
2
image
ประเภทสื่อ Book
ชื่อเรื่องQualified types : theory and practice / Mark P. Jones.
ชื่อผู้แต่งJones, Mark P.
พิมพลักษณ์Cambridge : Cambridge University Press, c1994.
เลขเรียกQA76.62 J64 1994
ห้องสมุดมหาวิทยาลัยศิลปากร
3
image
ประเภทสื่อ Book
ชื่อเรื่องStatic analysis / Alan Mycroft, editor.
พิมพลักษณ์Berlin : Springer-Verlag, c1995.
เลขเรียกQA76.62 S73 1995
ห้องสมุดมหาวิทยาลัยศิลปากร
4
image
ประเภทสื่อ Book
ชื่อเรื่องThe implementation of functional programming languages / Simon L. Peyton Jones.
ชื่อผู้แต่งPeyton jones, Simon l.
พิมพลักษณ์New York : Prentice Hall, c1987.
เลขเรียกQA76.7 P48 1987
ห้องสมุดมหาวิทยาลัยศิลปากร

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