หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Logic programming (Computer science)
Region
ภาคเหนือ
ปีที่พิมพ์
2021 (1)
2010 (1)
2004 (2)
2003 (1)
1989 (1)
ประเภทสื่อ
Book (6)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (1)
ภาคเหนือ (6)
ภาคกลาง(กรุงเทพและปริมณฑล) (4)
ห้องสมุด
มหาวิทยาลัยศิลปากร (1)
มหาวิทยาลัยรามคำแหง (1)
มหาวิทยาลัยราชภัฏรำไพพรรณี (1)
มหาวิทยาลัยราชภัฏพิบูลสงคราม (1)
มหาวิทยาลัยนเรศวร (1)
..more
ภาษา
eng (6)
ผลการค้นหา
Found:
6
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
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
ห้องสมุด
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
มหาวิทยาลัยราชภัฏเชียงใหม่
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
ชื่อผู้แต่ง
Huth, Michael, 1962-
พิมพลักษณ์
Cambridge, UK ; New York : Cambridge University Press, 2004
เลขเรียก
005.115 H979L 2004
ห้องสมุด
มหาวิทยาลัยเชียงใหม่
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Logics for computer science / Arindama Singh.
ชื่อผู้แต่ง
Singh, Arindama.
พิมพลักษณ์
New Delhi : Prentice Hall of India, c2003.
เลขเรียก
QA76.6 S56 2003
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยนเรศวร
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming in PARLOG / Tom Conlon
ชื่อผู้แต่ง
Conlon, Tom
พิมพลักษณ์
Wokingham : Addison-Wesley, c1989
เลขเรียก
QA76.73.P194 CON 1989,005.13 C752P
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming logic and design : comprehensive / Joyce Farrell
ชื่อผู้แต่ง
Farrell, Joyce
พิมพลักษณ์
Boston, Mass. : Course Technology, c2004
เลขเรียก
005.155 F266P 3/2004
ห้องสมุด
มหาวิทยาลัยราชภัฏรำไพพรรณี
มหาวิทยาลัยเชียงใหม่
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Teaching computational thinking and coding to young children / Marina Bers.
ชื่อผู้แต่ง
Bers, Marina.
พิมพลักษณ์
Hershey, PA : IGI Global, 2021.
เลขเรียก
004.071 B535T 2021
ห้องสมุด
มหาวิทยาลัยราชภัฏพิบูลสงคราม
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา