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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	C by dissection : the essentials of C programming / by Al Kelley \& Ira Pohl.
ชื่อผู้แต่ง	Kelley, Al.
พิมพลักษณ์	Menlo Park : Addison-Wesley, c1996.
เลขเรียก	QA76.73.C15 K45 1996,005.133 K29c 1996
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional programming using Standard ML / Ake Wikstrom.
ชื่อผู้แต่ง	Wikstrom, Ake.
พิมพลักษณ์	London : Prentice Hall, c1987.
เลขเรียก	QA76.73.S6 W54 1987
ห้องสมุด	มหาวิทยาลัยศิลปากร

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Purely functional data structures / Chris Okasaki.
ชื่อผู้แต่ง	Okasaki, Chris.
พิมพลักษณ์	Cambridge : Cambridge University Press, c1998.
เลขเรียก	QA76.9.D35 O3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

4

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

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, induction, termination analysis [electronic resource] : festschrift for Christoph Walt...
พิมพลักษณ์	New York : Springer, 2010.
เลขเรียก	QA76.62
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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