หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
LOGIC PROGRAMMING (COMPUTER SCIENCE)
Region
ภาคตะวันออกเฉียงเหนือ
ปีที่พิมพ์
2015 (1)
2011 (1)
2010 (1)
2007 (1)
1989 (1)
ประเภทสื่อ
Book (5)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (5)
ภาคเหนือ (2)
ภาคกลาง(กรุงเทพและปริมณฑล) (4)
ห้องสมุด
มหาวิทยาลัยอุบลราชธานี (1)
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยเทคโนโลยีสุรนารี (2)
มหาวิทยาลัยศิลปากร (2)
มหาวิทยาลัยราชภัฏสุรินทร์ (1)
..more
ภาษา
eng (5)
ผลการค้นหา
Found:
5
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
An object-oriented approach to programming logic and design / Joyce Farrell.
ชื่อผู้แต่ง
Farrell, Joyce.
พิมพลักษณ์
Boston, MA. : Course Technology-Cengage Learning, c2011.
เลขเรียก
QA76.64 .F36 2011,005.12 F245A 2011
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยนเรศวร
..more
×
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยราชภัฏสุรินทร์
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยศรีนครินทรวิโรฒ
มหาวิทยาลัยอุบลราชธานี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
ชื่อผู้แต่ง
Apt, Krzysztof r.
พิมพลักษณ์
Cambridge : Cambridge University Press, 2007.
เลขเรียก
QA76.612 A6,005.116 Ap639C 2007
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏนครศรีธรรมราช
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Discrete structures, logic, and computability / James L. Hein.
ชื่อผู้แต่ง
Hein, James l.
พิมพลักษณ์
Sudbury, Mass. : Jones and Bartlett, c2010.
เลขเรียก
QA76.9.M35 H44 2010,004.0151 H468D 2010
ห้องสมุด
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
มหาวิทยาลัยราชภัฏเชียงใหม่
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to Concurrency Theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari
ชื่อผู้แต่ง
Gorrieri, Roberto
พิมพลักษณ์
Cham : Springer, 2015
เลขเรียก
004.0151 G673I 2015
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Parallel logic programming techniques / Stephen Taylor.
ชื่อผู้แต่ง
Taylor, Stephen.
พิมพลักษณ์
Englewood Cliffs, N.J. : Prentice-Hall, c1989.
เลขเรียก
QA76.6 T36 1989
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา