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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Parallel logic programming / Akikazu Takeuchi.
ชื่อผู้แต่ง	Takeuchi, Akikazu 1953-.
พิมพลักษณ์	New York : John Wiley & Sons, c1992.
เลขเรียก	QA76.642 T35 1992
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	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 มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏอุดรธานี มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่) มหาวิทยาลัยอุบลราชธานี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logic and design : comprehensive / Joyce Farrell.
ชื่อผู้แต่ง	Farrell, Joyce.
พิมพลักษณ์	Australia : Course Technology, c2002.
เลขเรียก	QA76.73 .F37 2002,005.1 F245P
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย มหาวิทยาลัยธุรกิจบัณฑิตย์ มหาวิทยาลัยนเรศวร ..more มหาวิทยาลัยเกษตรศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย มหาวิทยาลัยธุรกิจบัณฑิตย์ มหาวิทยาลัยนเรศวร มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Types in logic programming / edited by Frank Pfenning.
พิมพลักษณ์	Combridge, Mass. : The MIT Press, c1992.
เลขเรียก	005.11 T991 1992
ห้องสมุด	มหาวิทยาลัยทักษิณ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations of disjunctive logic programming / Jorge Lobo, Jack Minker, Arcot Rajasekar.
ชื่อผู้แต่ง	Lobo, Jorge.
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c1992.
เลขเรียก	005.1 L799F 1992
ห้องสมุด	มหาวิทยาลัยทักษิณ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, Fr...
ชื่อผู้แต่ง	International conference on logic programming (20th : 2004 : Saint-malo, France)
พิมพลักษณ์	Berlin ; New York : Springer, 2004.
เลขเรียก	QA76.63 I55 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Computation as logic / Rene lalement ; translated by John Plaice.
ชื่อผู้แต่ง	Lalement, Rene.
พิมพลักษณ์	Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993.
เลขเรียก	QA76.63 L3513 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
ชื่อผู้แต่ง	Apt, Krzysztof r.
พิมพลักษณ์	Cambridge : Cambridge University Press, 2007.
เลขเรียก	QA76.612 A6,005.116 Ap639C 2007
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏนครศรีธรรมราช

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to programming in Prolog / Danny Crookes.
ชื่อผู้แต่ง	Crookes, Danny 1956-
พิมพลักษณ์	New York : Prentice-Hall, 1988.
เลขเรียก	QA76.73.P76 C73i,005.133 C948I
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

10

ประเภทสื่อ	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 มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital electronics with PLD integration / Nigel P. Cook.
ชื่อผู้แต่ง	Cook, Nigel p.
พิมพลักษณ์	Upper Saddele River, N. J. : Prentice Hall, 2001
เลขเรียก	TK7872.L64 C6,621.395 C771D
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา มหาวิทยาลัยราชภัฏอุดรธานี มหาวิทยาลัยวลัยลักษณ์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Recent advances in constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop...
ชื่อผู้แต่ง	Joint ercim/colognet international workshop on constraint solving and constraint logic programming (2003 : Budapest, Hungary)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.612 J65 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

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
ชื่อเรื่อง	Logic and structured design for computer programmers / Harold J. Rood.
ชื่อผู้แต่ง	Rood, Harold j.
พิมพลักษณ์	Pacific Grove, Calif. : Brooks/Cole, c2001.
เลขเรียก	QA76.6 R6 2001,005.131 Ro-L
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยศรีนครินทรวิโรฒ

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming and nonmonotonic reasoning [electronic resource] : 7th international conference,...
ชื่อผู้แต่ง	Lpnmr 2004 (2004 : Fort lauderdale, Fla.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.63 L74 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1
2

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