หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Subject
Propositional calculus
ปีที่พิมพ์
2011 (1)
2009 (1)
1981 (1)
1978 (1)
ประเภทสื่อ
Book (4)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (4)
ห้องสมุด
มหาวิทยาลัยมหิดล (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (3)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
ภาษา
eng (4)
ผลการค้นหา
Found:
4
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Beginning logic / E. J. Lemmon
ชื่อผู้แต่ง
Lemmon, E. j. (edward john)
พิมพลักษณ์
Indianapolis : Hackett Pub. Co., c1978
เลขเรียก
QA9.3 L554b 1978
ห้องสมุด
มหาวิทยาลัยมหิดล
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
ชื่อผู้แต่ง
Lewis, Harry r
พิมพลักษณ์
New Jersey : Prentice-Hall, c1981
เลขเรียก
QA267 LEW 1981
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
ชื่อผู้แต่ง
Lewis, Harry R
พิมพลักษณ์
New Delhi : PHI Learning Private Limited, c2011
เลขเรียก
QA267 LEW 2011
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to mathematics of satisfiability / Victor W. Marek.
ชื่อผู้แต่ง
Marek, Victor w.
พิมพลักษณ์
Boca Raton : CRC Press, c2009.
เลขเรียก
QA9.3 M3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา