หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยศิลปากร
Publish year
1995
Subject
LOGIC PROGRAMMING
ปีที่พิมพ์
1995 (2)
ประเภทสื่อ
Book (2)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (2)
ห้องสมุด
มหาวิทยาลัยศิลปากร (2)
ภาษา
eng (2)
ผลการค้นหา
Found:
2
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Static analysis / Alan Mycroft, editor.
พิมพลักษณ์
Berlin : Springer-Verlag, c1995.
เลขเรียก
QA76.62 S73 1995
ห้องสมุด
มหาวิทยาลัยศิลปากร
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Time and logic : a computational approach / edited by Leonard Bole & Andrzej Szalas.
พิมพลักษณ์
London : UCL Press, c1995.
เลขเรียก
QA76.63 T54 1995
ห้องสมุด
มหาวิทยาลัยศิลปากร
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา