สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 4 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
ชื่อผู้แต่ง	Lewis, Harry r
พิมพลักษณ์	New Jersey : Prentice-Hall, c1981
เลขเรียก	QA267 LEW 1981
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Subsystems of second order arithmetic / Stephen G. Simpson
ชื่อผู้แต่ง	Simpson, Stephen G
พิมพลักษณ์	Cambridge : Cambridge University Press, c2009
เลขเรียก	QA9.7 SIM 2009
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	The decision problem : solvable classes of quantificational formulas / B. Dreben & W.D. Goldfarb
ชื่อผู้แต่ง	Dreben, Burton
พิมพลักษณ์	Massachsetts : Addison-Wesley, c1979
เลขเรียก	QA9.35 DRE 1979
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

ส่งข้อเสนอแนะ/ปัญหา