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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Computable analysis : an introduction / Klaus Weihrauch.
ชื่อผู้แต่ง	Weihrauch, Klaus.
พิมพลักษณ์	New York, N.Y. : Springer-Verlag, c2000.
เลขเรียก	QA9.59 W419c 2000
ห้องสมุด	มหาวิทยาลัยนเรศวร

2

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

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
ชื่อเรื่อง	Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
ชื่อผู้แต่ง	Paulson, Lawrence c.
พิมพลักษณ์	Cambridge : Cambridge University Press, 1990.
เลขเรียก	QA9.59 .P38 1990
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยนเรศวร

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical logic and computability / H. Jerome Keisler, Joel Robbin.
ชื่อผู้แต่ง	Keisler, H. jerome.
พิมพลักษณ์	New York : McGraw-Hill, c1996.
เลขเรียก	QA9.59 K27,511.3 Ke27M
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Representations of discrete functions / edited by Tsutomu Sasao, Masahiro, Fujita.
พิมพลักษณ์	Boston, Mass. : Kluwer Academic Publishers, c1996.
เลขเรียก	TK7874.75 R425 1996
ห้องสมุด	มหาวิทยาลัยนเรศวร

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Theory of recursive functions and effective computability / Hartley Rogers.
ชื่อผู้แต่ง	Rogers, Hartley Jr. 1926-
พิมพลักษณ์	Cambridge : MIT Press, 2002.
เลขเรียก	QA9.615 R726t 2002
ห้องสมุด	มหาวิทยาลัยนเรศวร

1

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