หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
eng
Subject
Logic programming language
Region
ภาคเหนือ
ปีที่พิมพ์
2005 (1)
2001 (1)
1998 (1)
1997 (1)
1993 (2)
..more
ประเภทสื่อ
Computer File (1)
Book (6)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (2)
ภาคเหนือ (7)
ภาคกลาง(กรุงเทพและปริมณฑล) (6)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
มหาวิทยาลัยอุบลราชธานี (1)
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี (1)
มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร (1)
..more
ภาษา
eng (7)
ผลการค้นหา
Found:
7
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Advanced Logic Pro 7 / David Dvorin.
ชื่อผู้แต่ง
Dvorin, David.
พิมพลักษณ์
Berkeley, CA : Peachpit Press, c2005.
เลขเรียก
ML74.4.L64 D998a 2005,006.5 D988a
ห้องสมุด
มหาวิทยาลัยแม่โจ้
มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร
มหาวิทยาลัยนเรศวร
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Digital design with CPLD applications and VHDL / Robert K. Dueck.
ชื่อผู้แต่ง
Dueck, Robert k.
พิมพลักษณ์
New York : Delmar, 2001
เลขเรียก
TK7872.L64 D852,621.395 Du852D
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
..more
×
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
มหาวิทยาลัยราชภัฏอุดรธานี
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
มหาวิทยาลัยอุบลราชธานี
3
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยนเรศวร
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
ชื่อเรื่อง
Programming in PARLOG / Tom Conlon
ชื่อผู้แต่ง
Conlon, Tom
พิมพลักษณ์
Wokingham : Addison-Wesley, c1989
เลขเรียก
QA76.73.P194 CON 1989,005.13 C752P
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Techniques of prolog programming : with implementation of logical negation and quantified goals / ...
ชื่อผู้แต่ง
Le van t.
พิมพลักษณ์
New York : John Wiley & Sons, 1993.
เลขเรียก
QA76.73.P76 L433t 1993,005.133 Le433T
ห้องสมุด
มหาวิทยาลัยบูรพา
มหาวิทยาลัยนเรศวร
7
ประเภทสื่อ
Computer File
ชื่อเรื่อง
Techniques of Prolog Programming with implementation of logical negation and quantified goals [elect...
ชื่อผู้แต่ง
Le, Tu van.
พิมพลักษณ์
Singapore : Wiley, c1993.
ห้องสมุด
มหาวิทยาลัยนเรศวร
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา