หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Subject
Recursion theory
ปีที่พิมพ์
2012 (1)
2008 (2)
2006 (1)
2005 (1)
2003 (1)
..more
ประเภทสื่อ
Book (15)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (5)
ภาคเหนือ (4)
ภาคกลาง(กรุงเทพและปริมณฑล) (9)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยอุบลราชธานี (1)
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
มหาวิทยาลัยศิลปากร (1)
..more
ภาษา
eng (15)
ผลการค้นหา
Found:
15
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley.
ชื่อผู้แต่ง
Brassard, Gilles.
พิมพลักษณ์
Englewood Cliffs, N.J. : Prentice Hall, c1988.
เลขเรียก
QA9.6 .B73 1988
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley.
ชื่อผู้แต่ง
Brassard, Gilles 1955-
พิมพลักษณ์
Englewood Cliffs, N.J. : Prentice Hall, c1988.
เลขเรียก
QA9.6 B823,511.8 Br823A 19
ห้องสมุด
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยบูรพา
มหาวิทยาลัยศรีนครินทรวิโรฒ
มหาวิทยาลัยศิลปากร
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Aspects of incompleteness / by Per Lindstrom.
ชื่อผู้แต่ง
Lindstrom, Per 1936-
พิมพลักษณ์
Natick, Mass. : Peters, c2003.
เลขเรียก
QA9.65 L753 2003
ห้องสมุด
มหาวิทยาลัยขอนแก่น
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Computability / Klaus Weihrauch
ชื่อผู้แต่ง
Weihrauch, Klaus
พิมพลักษณ์
Berlin : Springer-Verlag, c1987
เลขเรียก
QA9.59 WEI 1987
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Computability / Nigel Cutland.
ชื่อผู้แต่ง
Cutland,Nigel.
พิมพลักษณ์
Great Britain : J.W. Arrowsmith, 1980.
เลขเรียก
519.4 C961C
ห้องสมุด
มหาวิทยาลัยราชภัฏเชียงใหม่
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Computability in Combinatory Spaces / Dimiter G. Skordev.
ชื่อผู้แต่ง
Skordev, Dimiter g.
พิมพลักษณ์
Dordrecht : Kluwer Academic, c1992.
เลขเรียก
QA9.6 S628c 1992
ห้องสมุด
มหาวิทยาลัยนเรศวร
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Computable analysis : an introduction / Klaus Weihrauch.
ชื่อผู้แต่ง
Weihrauch, Klaus.
พิมพลักษณ์
New York, N.Y. : Springer-Verlag, c2000.
เลขเรียก
QA9.59 W419c 2000
ห้องสมุด
มหาวิทยาลัยนเรศวร
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Computational prospects of infinity / edited by Chitat Chong...[et al.]
พิมพลักษณ์
Singapore : World Scientific, c2008
เลขเรียก
QA248 COM 2008
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Fractals, chaos, power laws : minutes from an infinite paradise / Manfred Robert Schroeder
ชื่อผู้แต่ง
Schroeder, Manfred Robert
พิมพลักษณ์
New York : W. H. Freeman and Company, c1991
เลขเรียก
QC174.17.S9 SCH 1991
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Fundamentals of mathematical logic / Peter G. Hinman.
ชื่อผู้แต่ง
Hinman, Peter G.
พิมพลักษณ์
Wellesley, Mass. : A K Peters, c2005.
เลขเรียก
QA9 H5,511.3 H663F
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
11
ประเภทสื่อ
Book
ชื่อเรื่อง
How to think about algorithms / Jeff Edmonds.
พิมพลักษณ์
Cambridge ; New York : Cambridge University Press, 2008.
เลขเรียก
QA9.58 E36 2008,518.1 E24H 2008
ห้องสมุด
มหาวิทยาลัยสุโขทัยธรรมาธิราช
มหาวิทยาลัยราชภัฏเชียงใหม่
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Induction, recursion, and programming / Mitchell Wand.
ชื่อผู้แต่ง
Wand, Mitchell.
พิมพลักษณ์
New York : North Holland, c1980.
เลขเรียก
QA76.6 W245
ห้องสมุด
มหาวิทยาลัยขอนแก่น
13
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีสุรนารี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Theory of computation / Dexter C. Kozen.
ชื่อผู้แต่ง
Kozen, Dexter c.
พิมพลักษณ์
London : Springer-Verlag, c2006.
เลขเรียก
QA267.7 K6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Thinking recursively / Eric Roberts.
ชื่อผู้แต่ง
Roberts, Eric.
พิมพลักษณ์
New York : Wiley, c1986.
เลขเรียก
QA9.6 R6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยอุบลราชธานี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา