หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Subject
Functional programming
ปีที่พิมพ์
2022 (1)
2019 (1)
2018 (1)
2017 (1)
2016 (1)
..more
ประเภทสื่อ
Book (81)
ภูมิภาค
ภาคใต้ (4)
ภาคตะวันออกเฉียงเหนือ (15)
ภาคเหนือ (6)
ภาคกลาง(กรุงเทพและปริมณฑล) (73)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (2)
มหาวิทยาลัยธรรมศาสตร์ (1)
มหาวิทยาลัยทักษิณ (2)
มหาวิทยาลัยศรีนครินทรวิโรฒ (4)
มหาวิทยาลัยเทคโนโลยีสุรนารี (10)
..more
ภาษา
eng (81)
ผลการค้นหา
Found:
81
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
List(0)
Select Page
|
Deselect Page
|
ส่งออก
|
เคลียร์
1
ประเภทสื่อ
Book
ชื่อเรื่อง
A tight, practical integration of relations and functions / Harold Boley
ชื่อผู้แต่ง
Boley, Harold
พิมพลักษณ์
Berlin : Springer, c1999
เลขเรียก
QA76.63 BOL 1999
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Advanced functional programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 200...
ชื่อผู้แต่ง
AFP 2002 (2002 : Oxford, England)
พิมพลักษณ์
Berlin : Springer, c2003.
เลขเรียก
005.114 A257A
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Advanced topics in data-flow computing / editors Jean-Lue Gaudiot, Lubomir Bic.
พิมพลักษณ์
Englewood Cliffs, NJ : Prentice Hall, c1991.
เลขเรียก
QA76.9.A73 A346
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithms : a functional programming approach / Fethi Rabhi, Guy Lapalme.
ชื่อผู้แต่ง
Rabhi, Fethi.
พิมพลักษณ์
Harlow : Addison-Wesley, 1999.
เลขเรียก
QA76.9.A43 .R34 1999
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithms : functional programming approach / Fethi Rabhi, Guy Lapalme.
ชื่อผู้แต่ง
Rabhi, Fethi.
พิมพลักษณ์
England : Pearson Education, 1999
เลขเรียก
QA76.9.A43 R23a 1999,005.1 Ra148A
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยธุรกิจบัณฑิตย์
มหาวิทยาลัยมหาสารคาม
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithms for functional programming / John David Stone
ชื่อผู้แต่ง
Stone, John david
พิมพลักษณ์
Berlin : Springer, c2018
เลขเรียก
QA76.62 S877a 2018
ห้องสมุด
มหาวิทยาลัยนเรศวร
7
ประเภทสื่อ
Book
ชื่อเรื่อง
An algorithmic approach to nonlinear analysis and optimization / Edward J. Beltrami.
ชื่อผู้แต่ง
Beltrami, Edward J.
พิมพลักษณ์
New York : Academic Press, c1970.
เลขเรียก
QA320 .B38
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
8
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to functional programming through Lambda calculus / Greg Michaelson.
ชื่อผู้แต่ง
Michaelson, Greg.
พิมพลักษณ์
Wokingham, England : Addison-Wesley, c1989.
เลขเรียก
QA76.6 .M4854 1989
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Applications of functional programming / edited by Colin Runciman and David Wakeling.
พิมพลักษณ์
London : UCL Press, c1995.
เลขเรียก
QA76.62 A6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Beginning F#/ Robert Pickering.
ชื่อผู้แต่ง
Pickering, Robert.
พิมพลักษณ์
New York : Apress : Distributed ... by Springer-Verlag, c2009.
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
11
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Computation as logic / Rene lalement ; translated by John Plaice.
ชื่อผู้แต่ง
Lalement, Rene.
พิมพลักษณ์
Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993.
เลขเรียก
QA76.63 L3513 1993
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยศิลปากร
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Constructive foundations for functional languages / Raymond Turner.
ชื่อผู้แต่ง
Turner, Raymond.
พิมพลักษณ์
London : McGraw-Hill, c1991
เลขเรียก
QA76.73.F8 T8
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Continuous univariate distributions-1 / Norman L. Johnson, Samuel Kotz
ชื่อผู้แต่ง
Johnson, Norman l
พิมพลักษณ์
New York : John Wiley & Sons, c1970
เลขเรียก
QA324 JOH 1970,005.369 G671E
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยราชภัฏเชียงใหม่
1
2
3
4
5
6
Loading...
ส่งข้อเสนอแนะ/ปัญหา