หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Logic programming
Location
มหาวิทยาลัยเกษตรศาสตร์
Region
ภาคเหนือ
ปีที่พิมพ์
2011 (1)
2009 (1)
2004 (1)
2002 (1)
2000 (1)
..more
ประเภทสื่อ
Book (9)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (4)
ภาคเหนือ (9)
ภาคกลาง(กรุงเทพและปริมณฑล) (9)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (1)
มหาวิทยาลัยพะเยา (1)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
..more
ภาษา
eng (9)
ผลการค้นหา
Found:
9
ชื่อเรื่อง เรียงลำดับโดย:
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 beginner's guide to programming logic and design : introductory / Joyce Farrell.
ชื่อผู้แต่ง
Farrell, Joyce.
พิมพลักษณ์
Australia : Course Technology Cengage Learning, c2011.
เลขเรียก
QA76.63 F245g 2011,005.15 Fa245B
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยมหาสารคาม
มหาวิทยาลัยราชภัฏจันทรเกษม
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming logic and design : comprehensive / Joyce Farrell.
ชื่อผู้แต่ง
Farrell, Joyce.
พิมพลักษณ์
Australia : Course Technology, c2002.
เลขเรียก
QA76.73 .F37 2002,005.1 F245P
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย
มหาวิทยาลัยธุรกิจบัณฑิตย์
มหาวิทยาลัยนเรศวร
..more
×
มหาวิทยาลัยเกษตรศาสตร์
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย
มหาวิทยาลัยธุรกิจบัณฑิตย์
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยราชภัฏอุดรธานี
มหาวิทยาลัยวลัยลักษณ์
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Deductive databases and logic programming / Subrata Kumar Das.
ชื่อผู้แต่ง
Das, Subrata kumar.
พิมพลักษณ์
Workingham, Eng. : Addison-Wesley, c1992.
เลขเรียก
QA76.9.D3 .D153 1992,006.33 D229D
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
4
ประเภทสื่อ
Book
ชื่อเรื่อง
From logic programming to Prolog / Krzysztof R. Apt.
ชื่อผู้แต่ง
Apt, Krzysztof R.
พิมพลักษณ์
London : Prentice Hall, c1997.
เลขเรียก
QA76.63 .A67 1997,005.133 A655f
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยธุรกิจบัณฑิตย์
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and integer programming / H. Paul Williams.
ชื่อผู้แต่ง
Williams, H. p.
พิมพลักษณ์
Dordrecht ; New York : Springer, c2009.
เลขเรียก
QA76.63 W54,519.77 Wi723L
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming in PARLOG / Tom Conlon
ชื่อผู้แต่ง
Conlon, Tom
พิมพลักษณ์
Wokingham : Addison-Wesley, c1989
เลขเรียก
QA76.73.P194 CON 1989,005.13 C752P
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic-based methods for optimization : combining optimization and constraint satisfaction / John Hoo...
ชื่อผู้แต่ง
Hooker, John 1949-
พิมพลักษณ์
New York : John Wiley & Sons, c2000.
เลขเรียก
T57.74 .H66 2000,519.72 H783L
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีสุรนารี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่ง
Lewis, Harry r.
พิมพลักษณ์
Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียก
QA267 L674 1998,511 L674E 2005
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยนเรศวร
9
ประเภทสื่อ
Book
ชื่อเรื่อง
FPGA-based system design / Wayne Wolf
ชื่อผู้แต่ง
Wolf, Wayne hendrix
พิมพลักษณ์
Upper Saddle River, NJ : Prentice Hall PTR, c2004
เลขเรียก
TK7895.G36 W648f 2004,005.384 W855F
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยพะเยา
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา