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

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

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
ชื่อเรื่อง	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
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	The logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่ง	Nait abdallah, Areski 1950-.
พิมพลักษณ์	Berlin ; New York : Springer, c1995.
เลขเรียก	QA76.7 N35 1995
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	The C Puzzle Book \ Alan R. Feuer.
ชื่อผู้แต่ง	Feuer, Alan r.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice Hall, 1989.
เลขเรียก	QA76.73.C15 F48 1989
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยวลัยลักษณ์

1

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