หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยศิลปากร
Subject
Logic programming (Computer science)
Region
ภาคกลาง(กรุงเทพและปริมณฑล)
ปีที่พิมพ์
2003 (1)
1995 (1)
1989 (1)
ประเภทสื่อ
Book (3)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (1)
ภาคเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (3)
ห้องสมุด
มหาวิทยาลัยศิลปากร (3)
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี (1)
มหาวิทยาลัยนเรศวร (1)
มหาวิทยาลัยเกษตรศาสตร์ (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (1)
..more
ภาษา
eng (3)
ผลการค้นหา
Found:
3
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Logics for computer science / Arindama Singh.
ชื่อผู้แต่ง
Singh, Arindama.
พิมพลักษณ์
New Delhi : Prentice Hall of India, c2003.
เลขเรียก
QA76.6 S56 2003
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยนเรศวร
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Parallel logic programming techniques / Stephen Taylor.
ชื่อผู้แต่ง
Taylor, Stephen.
พิมพลักษณ์
Englewood Cliffs, N.J. : Prentice-Hall, c1989.
เลขเรียก
QA76.6 T36 1989
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Static analysis / Alan Mycroft, editor.
พิมพลักษณ์
Berlin : Springer-Verlag, c1995.
เลขเรียก
QA76.62 S73 1995
ห้องสมุด
มหาวิทยาลัยศิลปากร
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา