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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital System design and microprocessors / John P. Hayes.
ชื่อผู้แต่ง	Hayes, John p.
พิมพลักษณ์	New York : McGraw-Hill, c1984.
เลขเรียก	TK7874 H39 1984
ห้องสมุด	มหาวิทยาลัยศิลปากร

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic grammars / Harvey Abramson, Veronica Dahl.
ชื่อผู้แต่ง	Abramson, Harvey.
พิมพลักษณ์	New York : Springer-Verlag, c1989.
เลขเรียก	QA76.6 A27 1989
ห้องสมุด	มหาวิทยาลัยศิลปากร

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming : systematic program development / Yves Deville.
ชื่อผู้แต่ง	Deville, Yves.
พิมพลักษณ์	Wokingham : Addison-Wesley, c1990.
เลขเรียก	QA76.6 D482 1990
ห้องสมุด	มหาวิทยาลัยศิลปากร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Logics for computer science / Arindama Singh.
ชื่อผู้แต่ง	Singh, Arindama.
พิมพลักษณ์	New Delhi : Prentice Hall of India, c2003.
เลขเรียก	QA76.6 S56 2003
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยนเรศวร

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Parallel logic programming techniques / Stephen Taylor.
ชื่อผู้แต่ง	Taylor, Stephen.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1989.
เลขเรียก	QA76.6 T36 1989
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logic for business / Laura Saret.
ชื่อผู้แต่ง	Saret, Laura.
พิมพลักษณ์	New York : Mitchell McGraw-Hill, c1992.
เลขเรียก	HF5548.2 .S27 1992
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logic for business applications / Noemi Paz, Keiko Pitter, William Leigh.
ชื่อผู้แต่ง	Paz, Noemi.
พิมพลักษณ์	Santa Cruz, Calif. : Mitchell, c1988.
เลขเรียก	QA76.6 P38 1988
ห้องสมุด	มหาวิทยาลัยศิลปากร

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Recursive programming techniques / William H. Burge.
ชื่อผู้แต่ง	Burge, William H.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1975.
เลขเรียก	QA76.6 B8 1975
ห้องสมุด	มหาวิทยาลัยศิลปากร

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Static analysis / Alan Mycroft, editor.
พิมพลักษณ์	Berlin : Springer-Verlag, c1995.
เลขเรียก	QA76.62 S73 1995
ห้องสมุด	มหาวิทยาลัยศิลปากร

10

ประเภทสื่อ	Book
ชื่อเรื่อง	The logic of programming / Eric C. R. Hehner.
ชื่อผู้แต่ง	Hehner, Eric c. r.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall International, c1984.
เลขเรียก	QA76.6 H44 1984
ห้องสมุด	มหาวิทยาลัยศิลปากร

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Time and logic : a computational approach / edited by Leonard Bole & Andrzej Szalas.
พิมพลักษณ์	London : UCL Press, c1995.
เลขเรียก	QA76.63 T54 1995
ห้องสมุด	มหาวิทยาลัยศิลปากร

1

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