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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Activities Manual to accompany:programmable logic controllers/ Frank D. Petruzella.
ชื่อผู้แต่ง	Petruzella, Frank d.
พิมพลักษณ์	New York : McGraw-Hill, 2011.
เลขเรียก	TJ223 P498 2011
ห้องสมุด	มหาวิทยาลัยอุบลราชธานี มหาวิทยาลัยเกษตรศาสตร์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in computing research : a research annual / editor, Franco P. Preparata.
พิมพลักษณ์	Greenwich, Conn. : JAI, c1983.
เลขเรียก	QA9.59 A38
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

3

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

4

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

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata, computability and complexity : theory and applications / Elaine Rich
ชื่อผู้แต่ง	Rich, Elaine
พิมพลักษณ์	Upper Saddle River, N.J. : Pearson Prentice Hall, c2008
เลขเรียก	QA267 RIC 2008
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability / George J. Tourlakis.
ชื่อผู้แต่ง	Tourlakis, George J.
พิมพลักษณ์	Reston, Va. : Reston, c1984.
เลขเรียก	QA9.59 T6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability / George J. Tourlakis.
ชื่อผู้แต่ง	Toulakis, George J.
พิมพลักษณ์	Reston, Va. : Reston, c1984.
เลขเรียก	QA9.59 .T68 1984
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability / Klaus Weihrauch
ชื่อผู้แต่ง	Weihrauch, Klaus
พิมพลักษณ์	Berlin : Springer-Verlag, c1987
เลขเรียก	QA9.59 WEI 1987
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, Septe...
ชื่อผู้แต่ง	CCA 2000 (2000 : Swansea, UK)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	515 C386C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability and complexity theory / Steven Homer, Alan L. Selman
ชื่อผู้แต่ง	Homer, S
พิมพลักษณ์	New York : Springer, c2001
เลขเรียก	QA76 HOM 2001
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability and Logic / G.S. Buolos, John P. Burgess, Richard C. Jeffrey
ชื่อผู้แต่ง	Boolos, George S
พิมพลักษณ์	Cambridge : Cambridge University Press, c2002
เลขเรียก	QA9 BOO 2002,511.3 B724c
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยธุรกิจบัณฑิตย์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability in context : computation and logic in the real world / edited by S. Barry Cooper, Andr...
พิมพลักษณ์	London : Imperial College Press, c2011
เลขเรียก	QA9.59 COM 2011
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability theory / S. Barry Cooper.
ชื่อผู้แต่ง	Cooper, S. barry.
พิมพลักษณ์	Boca Raton : Chapman \& Hall/CRC, c2004.
เลขเรียก	QA9.59 C6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability theory, semantics, and logic programming / Melvin Fitting.
ชื่อผู้แต่ง	Fitting, Melvin Chris.
พิมพลักษณ์	New York : Oxford University Press, c1987.
เลขเรียก	QA9.59 .F58 1987
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Computability with PASCAL / John S. Mallozzi, Nicholas J. De Lillo
ชื่อผู้แต่ง	Mallozzi, John s
พิมพลักษณ์	Englewood Cliffs, NJ : Prentice-Hall, c1984
เลขเรียก	QA9.59 MAL 1984
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3

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