หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
eng
Location
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
Subject
Logic programming language
ปีที่พิมพ์
2013 (5)
2012 (5)
2005 (1)
2003 (1)
1996 (1)
..more
ประเภทสื่อ
Book (30)
ภูมิภาค
ภาคใต้ (4)
ภาคตะวันออกเฉียงเหนือ (6)
ภาคเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (30)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (1)
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยเทคโนโลยีสุรนารี (3)
มหาวิทยาลัยศิลปากร (2)
..more
ภาษา
eng (30)
ผลการค้นหา
Found:
30
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
8080 programming for logic design / Adam Osborne.
ชื่อผู้แต่ง
Osborne, Adam.
พิมพลักษณ์
Berkeley : Osborne \& Associates, c1976.
เลขเรียก
QA76.9.C65 O8
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
A programming logic : with an introduction to the PL/CV Verifier / R.L. Constable, M.J. O'Donnell
ชื่อผู้แต่ง
Constable, Robert l
พิมพลักษณ์
Massachusetts : Winthrop, c1978
เลขเรียก
QA76.73.P25 CON 1978
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
An advanced logic programming languages. volume 1, the Prolog-2 user guide / edited by Tony Dodds
พิมพลักษณ์
Oxford : Intellect, c1990
เลขเรียก
QA76.73.P76 ADV 1990
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to logic programming through Prolog / Michael Spivey.
ชื่อผู้แต่ง
Spivey, Michael.
พิมพลักษณ์
London : Prentice Hall, c1996.
เลขเรียก
QA76.63 .S64 1996
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Artificial intelligence in simulation / Ivan Futo, Tamas Gergely
ชื่อผู้แต่ง
Futo, Ivan
พิมพลักษณ์
New York : Ellis Horwood, c1990
เลขเรียก
Q335 FUT 1990
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the R...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Computing with Logic : logic programming with prolog / David Maier, David S. Warren.
ชื่อผู้แต่ง
Maier, David.
พิมพลักษณ์
Menlo Park, Calif : The Benjamin/Cummings, c1988.
เลขเรียก
QA76.73.P76 M3,005.13/3
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยสุโขทัยธรรมาธิราช
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Digital design with CPLD applications and VHDL / Robert K. Dueck.
ชื่อผู้แต่ง
Dueck, Robert K.
พิมพลักษณ์
Clifton Park, NY : Thomson Delmar Learning, c2005.
เลขเรียก
TK7872.L64 D852 2005
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
..more
×
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏสงขลา
มหาวิทยาลัยศรีนครินทรวิโรฒ
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Digital logic simulation and CPLD programming with VHDL / Steve Waterman.
ชื่อผู้แต่ง
Waterman, Steve.
พิมพลักษณ์
Upper Saddle River, N.J : Prentice Hall, 2003
เลขเรียก
TK7868.L6 W328,621.39 W324D 2003
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยธุรกิจบัณฑิตย์
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to programming in Prolog / Danny Crookes.
ชื่อผู้แต่ง
Crookes, Danny 1956-
พิมพลักษณ์
New York : Prentice-Hall, 1988.
เลขเรียก
QA76.73.P76 C73i,005.133 C948I
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยราชภัฏสงขลา
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and logic grammars for language processing / editors Patrick Saint-Dizier and Stan Szpakowicz...
พิมพลักษณ์
New York : Ellis Horwood, c1990.
เลขเรียก
QA76.63 L62
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and prolog / Richard Spencer-Smith
ชื่อผู้แต่ง
Spencer-smith, Richard
พิมพลักษณ์
New York : Harvester Wheatsheaf, c1991
เลขเรียก
QA76.63 SPE 1991
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Microsoft Visual Basic programs to accompany programming logic and design / Jo Ann Smith
ชื่อผู้แต่ง
Smith, Jo Ann
พิมพลักษณ์
Boston : Course Technology, c2013
เลขเรียก
QA76.73.M53 SMI 2013
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Natural language understanding / James Allen.
ชื่อผู้แต่ง
Allen, James.
พิมพลักษณ์
Redwood City, Calif. : Benjamin/Cummings, c1995.
เลขเรียก
QA76.7 A427n 1995
ห้องสมุด
มหาวิทยาลัยมหิดล
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
1
2
Loading...
ส่งข้อเสนอแนะ/ปัญหา