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

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

List(0)

Select Page | Deselect Page |

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

1

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

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to the theory of programming languages / Bertrand Meyer.
ชื่อผู้แต่ง	Meyer, Bertrand.
พิมพลักษณ์	New York : Prentice Hall, c1990.
เลขเรียก	QA76.7 M48 1990
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยทักษิณ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logics : an introduction to verification and semantics / Raymond D. Gumb.
ชื่อผู้แต่ง	Gumb, Raymond d.
พิมพลักษณ์	New York : John Wiley, c1989.
เลขเรียก	QA76.76.V47 G85 1989
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Qualified types : theory and practice / Mark P. Jones.
ชื่อผู้แต่ง	Jones, Mark P.
พิมพลักษณ์	Cambridge : Cambridge University Press, c1994.
เลขเรียก	QA76.62 J64 1994
ห้องสมุด	มหาวิทยาลัยศิลปากร

1

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