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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	8080 programming for logic design / Adam Osborne.
ชื่อผู้แต่ง	Osborne, Adam.
พิมพลักษณ์	Berkeley : Osborne \& Associates, c1976.
เลขเรียก	QA76.9.C65 O8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	A programming logic : with an introduction to the PL/CV Verifier / R.L. Constable, M.J. O'Donnell
ชื่อผู้แต่ง	Constable, Robert l
พิมพลักษณ์	Massachusetts : Winthrop, c1978
เลขเรียก	QA76.73.P25 CON 1978
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced Logic Pro 7 / David Dvorin.
ชื่อผู้แต่ง	Dvorin, David.
พิมพลักษณ์	Berkeley, CA : Peachpit Press, c2005.
เลขเรียก	ML74.4.L64 D998a 2005,006.5 D988a
ห้องสมุด	มหาวิทยาลัยแม่โจ้ มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยนเรศวร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	An advanced logic programming languages. volume 1, the Prolog-2 user guide / edited by Tony Dodds
พิมพลักษณ์	Oxford : Intellect, c1990
เลขเรียก	QA76.73.P76 ADV 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to logic programming through Prolog / Michael Spivey.
ชื่อผู้แต่ง	Spivey, Michael.
พิมพลักษณ์	London : Prentice Hall, c1996.
เลขเรียก	QA76.63 .S64 1996
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence in simulation / Ivan Futo, Tamas Gergely
ชื่อผู้แต่ง	Futo, Ivan
พิมพลักษณ์	New York : Ellis Horwood, c1990
เลขเรียก	Q335 FUT 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the R...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Computing with Logic : logic programming with prolog / David Maier, David S. Warren.
ชื่อผู้แต่ง	Maier, David.
พิมพลักษณ์	Menlo Park, Calif : The Benjamin/Cummings, c1988.
เลขเรียก	QA76.73.P76 M3,005.13/3
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยสุโขทัยธรรมาธิราช

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital design with CPLD applications and VHDL / Robert K. Dueck.
ชื่อผู้แต่ง	Dueck, Robert k.
พิมพลักษณ์	New York : Delmar, 2001
เลขเรียก	TK7872.L64 D852,621.395 Du852D
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏอุดรธานี มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่) มหาวิทยาลัยอุบลราชธานี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital design with CPLD applications and VHDL / Robert K. Dueck.
ชื่อผู้แต่ง	Dueck, Robert K.
พิมพลักษณ์	Clifton Park, NY : Thomson Delmar Learning, c2005.
เลขเรียก	TK7872.L64 D852 2005
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital logic simulation and CPLD programming with VHDL / Steve Waterman.
ชื่อผู้แต่ง	Waterman, Steve.
พิมพลักษณ์	Upper Saddle River, N.J : Prentice Hall, 2003
เลขเรียก	TK7868.L6 W328,621.39 W324D 2003
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยธุรกิจบัณฑิตย์ มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	DLP : a language for distributed logic programming : design, semantics, and implementation / Anton E...
ชื่อผู้แต่ง	Eliëns, Anton
พิมพลักษณ์	Chichester [England] ; New York : J. Wiley, c1992
เลขเรียก	QA76.63 E45 1992
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่ง	Lewis, Harry r.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียก	QA267 L674 1998,511 L674E 2005
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยนเรศวร

15

ประเภทสื่อ	Book
ชื่อเรื่อง	From logic programming to Prolog / Krzysztof R. Apt.
ชื่อผู้แต่ง	Apt, Krzysztof R.
พิมพลักษณ์	London : Prentice Hall, c1997.
เลขเรียก	QA76.63 .A67 1997,005.133 A655f
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยธุรกิจบัณฑิตย์

1
2
3
4

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