หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยเกษตรศาสตร์
Subject
LOGIC PROGRAMMING
ปีที่พิมพ์
2013 (2)
2011 (1)
2010 (1)
2009 (1)
2007 (1)
..more
ประเภทสื่อ
Book (23)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (9)
ภาคเหนือ (9)
ภาคกลาง(กรุงเทพและปริมณฑล) (23)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (1)
มหาวิทยาลัยพะเยา (1)
มหาวิทยาลัยราชภัฏอุดรธานี (3)
มหาวิทยาลัยเทคโนโลยีสุรนารี (2)
..more
ภาษา
eng (23)
ผลการค้นหา
Found:
23
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
A beginner's guide to programming logic and design : introductory version / Joyce Farrell.
ชื่อผู้แต่ง
Farrell, Joyce.
พิมพลักษณ์
Boston, MA : Course Technology, Cengage Learning, c2013.
เลขเรียก
QA76.63 FAR 2013,005.115 F245B
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยราชภัฏอุดรธานี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Advances in computational optimization and its applications / editors, Kalyanmoy Deb ... [et al.]
พิมพลักษณ์
Hyderabad : Universities Press, c2007.
เลขเรียก
QA402.5 .A38 2007,E 658.4 A34
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยราชภัฏอุดรธานี
4
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Digital system design and microprocessors / John P. Hayes.
ชื่อผู้แต่ง
Hayes, John P. (John Patrick), 1944-
พิมพลักษณ์
New York : McGraw-Hill, c1985.
เลขเรียก
TK7874 .H393 1985
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
6
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยนเรศวร
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Foundations of deductive databases and logic programming / contributors, Krzysztof R. Apt ... [et a...
พิมพลักษณ์
Los Altos, Calif. : M. Kaufmann, c1988.
เลขเรียก
QA76.9.D32 .F68 1988
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
8
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยพะเยา
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์
9
ประเภทสื่อ
Book
ชื่อเรื่อง
From logic programming to Prolog / Krzysztof R. Apt.
ชื่อผู้แต่ง
Apt, Krzysztof R.
พิมพลักษณ์
London : Prentice Hall, c1997.
เลขเรียก
QA76.63 .A67 1997,005.133 A655f
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยธุรกิจบัณฑิตย์
10
ประเภทสื่อ
Book
ชื่อเรื่อง
From modal logic to deductive databases : introducting a logic based approach to artificial intellig...
ชื่อผู้แต่ง
Gochet, Paul
พิมพลักษณ์
Chichester : John Wiley, c1989
เลขเรียก
Q335 GOC 1989
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Hybrid metaheuristics : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : pr...
ชื่อผู้แต่ง
Hm 2010 (2010 : Vienna, Austria)
พิมพลักษณ์
Berlin : Springer, c2010.
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and integer programming / H. Paul Williams.
ชื่อผู้แต่ง
Williams, H. p.
พิมพลักษณ์
Dordrecht ; New York : Springer, c2009.
เลขเรียก
QA76.63 W54,519.77 Wi723L
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and logic grammars for language processing / editors Patrick Saint-Dizier and Stan Szpakowicz...
พิมพลักษณ์
New York : Ellis Horwood, c1990.
เลขเรียก
QA76.63 L62
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic programming : Prolog and stream parallel languages / J.D. Newmarch.
ชื่อผู้แต่ง
Newmarch, J. D. (Jan D.)
พิมพลักษณ์
New York : Prentice Hall, c1990.
เลขเรียก
QA76.63 .N48 1990
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic-based knowledge representation Peter Jackson, Han Reichgett, Farnk van Harmelen.
ชื่อผู้แต่ง
Jackson, Peter.
พิมพลักษณ์
Cambridge, Mass. : MIT Press, c1989.
เลขเรียก
QA76.76.E95 .J34 1989
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
1
2
Loading...
ส่งข้อเสนอแนะ/ปัญหา