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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in knowledge representation / edited by Carlos Ramirez. [electronic resource]
พิมพลักษณ์	London : IntechOpen, 2012.
เลขเรียก	006.332 A244 2012
ห้องสมุด	มหาวิทยาลัยราชภัฏภูเก็ต

2

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Pl...
พิมพลักษณ์	Cambridge, Maas. : The MIT Press, c1991.
เลขเรียก	006.3 C738 1991
ห้องสมุด	มหาวิทยาลัยทักษิณ

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Conceptual modeling, databases, and CASE : an integrated view of information systems development / ...
พิมพลักษณ์	New York : Wiley, c1992.
เลขเรียก	QA76.9.D26 C744 1992
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

5

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏนครศรีธรรมราช

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint solving over multi-valued logics [electronic resource] : application to digital circuits ...
ชื่อผู้แต่ง	Azevedo, Francisco.
พิมพลักษณ์	Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003.
เลขเรียก	QA76.612 A94 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

7

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

8

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

9

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

10

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

11

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

12

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

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่ง	Middelburg, Cornelis a.
พิมพลักษณ์	London ; New York : Chapman & Hall, 1993.
เลขเรียก	QA76.7 M53 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

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 based program synthesis and transformation [electronic resource] : 13th international sympos...
ชื่อผู้แต่ง	Lopstr (symposium) (13th : 2003 : Uppsala, Sweden)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.63 L69 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1
2

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