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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata and computability / Dexter, C. Kozen.
ชื่อผู้แต่ง	Kozen, Dexter 1951-.
พิมพลักษณ์	New York : Springer-Verlag, c1997.
เลขเรียก	QA267 .K69 1997,511.3 K88A 1997
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยเกษตรศาสตร์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Hilbert’s tenth problem [electronic resource] / Yuri V. Matiyasevich ; with a foreword by Martin D...
ชื่อผู้แต่ง	Matiiasevich, IU. V. (IUrii V.).
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c1993.
เลขเรียก	QA242 M4213 1993eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to languages and the theory of computation / John C. Martin.
ชื่อผู้แต่ง	Martin, John c.
พิมพลักษณ์	New York : McGraw-Hill, c1997.
เลขเรียก	QA267.5.S4 .M29 1997,511.3 M381I
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to languages and the theory of computation / John C.,Martin.
ชื่อผู้แต่ง	Martin ,John C.
พิมพลักษณ์	Boston : McGraw-Hill, c2003
เลขเรียก	QA267.5.S4 MAR 2003,511.3 M379C
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย มหาวิทยาลัยธุรกิจบัณฑิตย์ มหาวิทยาลัยนเรศวร มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่) มหาวิทยาลัยอุบลราชธานี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to Languages and the Theory of Computation. / John C. Martin
ชื่อผู้แต่ง	Martin, John c.
พิมพลักษณ์	New York : McGraw-Hill, 1991.
เลขเรียก	QA267.5.S4 MAR 1991,511.3 Ma379I 1991
ห้องสมุด	มหาวิทยาลัยราชภัฏนครศรีธรรมราช มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer.
ชื่อผู้แต่ง	Schwichtenberg, Helmut 1942-.
พิมพลักษณ์	Ithaca, NY : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2012.
เลขเรียก	QA9.54 S39 2012
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีสุรนารี

1

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