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

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

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
ชื่อเรื่อง	Pearls of functional algorithm design / Richard Bird.
ชื่อผู้แต่ง	Bird, Richard 1943-
พิมพลักษณ์	Cambridge : Cambridge University Press, c2010.
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Real-world functional programming : with examples in F# and C# / Tomas Petricek ; with Jon Skeet.
ชื่อผู้แต่ง	Petricek, Tomas.
พิมพลักษณ์	Greenwich : Manning, c2010.
เลขเรียก	QA76.62 P47 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Steps in Scala : an introduction to object-functional programming / Christos K.K. Loverdos, Aposto...
ชื่อผู้แต่ง	Loverdos, Christos k. k.
พิมพลักษณ์	Cambridge : Cambridge University Press, 2010.
เลขเรียก	QA76.73.S28 L68 2010,005.114 L911S
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีสุรนารี

5

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

1

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