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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional programming : practice and theory / Bruce J. Maclennan.
ชื่อผู้แต่ง	Maclennan, Bruce J.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.73.F8 M3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September ...
ชื่อผู้แต่ง	FLOPS (6th : 2002 : Aizu Daigaku, Japan)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	QA76.62 FUJ 2002,005.114 F631F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional programming / A.J.Field & P.G
ชื่อผู้แต่ง	Field, Anthony j
พิมพลักษณ์	Workingham : Addison-Wesley, C1988
เลขเรียก	QA76.62 FIE 1988
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยศิลปากร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Logical foundations of functional programming / edited by Gerard Huet.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.62 L64 1990
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Research topics in functional programming / edited by David A. Turner.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.62 .R47 1990
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	The functional approach to programming / Guy Cousineau and Michel Mauny
ชื่อผู้แต่ง	Cousineau, Guy.
พิมพลักษณ์	Cambridge : Cambridge University Press, c1998
เลขเรียก	QA76.62 C68 1998
ห้องสมุด	มหาวิทยาลัยศิลปากร

7

ประเภทสื่อ	Book
ชื่อเรื่อง	The implementation of functional programming languages / Simon L. Peyton Jones.
ชื่อผู้แต่ง	Peyton Jones, Simon L.
พิมพลักษณ์	New York : Prentice Hall, c1987.
เลขเรียก	QA76.7 .P495 1987
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	The implementation of functional programming languages / Simon L. Peyton Jones.
ชื่อผู้แต่ง	Peyton jones, Simon l.
พิมพลักษณ์	New York : Prentice Hall, c1987.
เลขเรียก	QA76.7 P48 1987
ห้องสมุด	มหาวิทยาลัยศิลปากร

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Logical foundations of functional programming / edited by Gerard Huet.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.62 L832 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Algorithms : a functional programming approach / Fethi Rabhi, Guy Lapalme.
ชื่อผู้แต่ง	Rabhi, Fethi.
พิมพลักษณ์	Harlow : Addison-Wesley, 1999.
เลขเรียก	QA76.9.A43 .R34 1999
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional programming for loosely-coupled multiprocessors / Paul Kelly.
ชื่อผู้แต่ง	Kelly, Paul (Paul H. J.)
พิมพลักษณ์	London : Pitman, c1989.
เลขเรียก	QA76.6 .K449 1989
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming F#3.0 / Chris Smith.
ชื่อผู้แต่ง	Smith, Chris (Christopher Alan), 1982-
พิมพลักษณ์	Beijing : O'Reilly, c2013.
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to functional programming through Lambda calculus / Greg Michaelson.
ชื่อผู้แต่ง	Michaelson, Greg.
พิมพลักษณ์	Wokingham, England : Addison-Wesley, c1989.
เลขเรียก	QA76.6 .M4854 1989
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming with Miranda / Chris Clack, Colin Myers, Ellen Poon.
ชื่อผู้แต่ง	Clack, Chris.
พิมพลักษณ์	New York : Prentice Hall, c1995.
เลขเรียก	QA76.62 C3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Type theory and functional programming / Simon Thompson.
ชื่อผู้แต่ง	Thompson, Simon.
พิมพลักษณ์	Wokingham, England : Addison-Wesley, c1991.
เลขเรียก	QA76.62 T4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

1
2
3
4
5

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