หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Subject
Functional programming ( computer science)
ปีที่พิมพ์
2022 (1)
2019 (1)
2018 (1)
2015 (1)
2014 (1)
..more
ประเภทสื่อ
Book (60)
ภูมิภาค
ภาคใต้ (3)
ภาคตะวันออกเฉียงเหนือ (13)
ภาคเหนือ (4)
ภาคกลาง(กรุงเทพและปริมณฑล) (54)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยธรรมศาสตร์ (1)
มหาวิทยาลัยทักษิณ (2)
มหาวิทยาลัยศรีนครินทรวิโรฒ (3)
มหาวิทยาลัยเทคโนโลยีสุรนารี (9)
..more
ภาษา
eng (60)
ผลการค้นหา
Found:
60
ชื่อเรื่อง เรียงลำดับโดย:
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 for functional programming / John David Stone
ชื่อผู้แต่ง
Stone, John david
พิมพลักษณ์
Berlin : Springer, c2018
เลขเรียก
QA76.62 S877a 2018
ห้องสมุด
มหาวิทยาลัยนเรศวร
5
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to functional programming through Lambda calculus / Greg Michaelson.
ชื่อผู้แต่ง
Michaelson, Greg.
พิมพลักษณ์
Wokingham, England : Addison-Wesley, c1989.
เลขเรียก
QA76.6 .M4854 1989
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Applications of functional programming / edited by Colin Runciman and David Wakeling.
พิมพลักษณ์
London : UCL Press, c1995.
เลขเรียก
QA76.62 A6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
7
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา
8
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยศิลปากร
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Elements of functional programming / Chris Reade.
ชื่อผู้แต่ง
Reade, Chris.
พิมพลักษณ์
Wokingham, England : Addison-Wesley, c1989.
เลขเรียก
QA76.62 R38e,005.11 R285E 1989
ห้องสมุด
มหาวิทยาลัยทักษิณ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยมหิดล
มหาวิทยาลัยศรีนครินทรวิโรฒ
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Expert F# 3.0 [electronic resource] / Don Syme, Adam Granicz, Antonio Cisternino
ชื่อผู้แต่ง
Syme, Don
พิมพลักษณ์
Berkeley, CA : Apress, c2012
เลขเรียก
QA76.62 SYM 2012
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
F# for scientists / Jon Harrop
ชื่อผู้แต่ง
Harrop, Jon
พิมพลักษณ์
Hoboken, N.J. : John Wiley, c2008
เลขเรียก
QA76.73.F163 HAR 2008
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9...
ชื่อผู้แต่ง
FLOPS 2001 (2001 : Tokyo, Japan)
พิมพลักษณ์
New York : Springer, 2001.
เลขเรียก
005.114 F631F
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
14
ประเภทสื่อ
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
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9,...
ชื่อผู้แต่ง
FLOPS 2004 (2004 : Nara, Japan)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
005.114 F631F 2004
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
1
2
3
4
Loading...
ส่งข้อเสนอแนะ/ปัญหา