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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving ...
ชื่อผู้แต่ง	International Workshop on Constraint Solving and Constraint Logic Programming (2002 : Cork, Ireland)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.115 I61R
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : ...
ชื่อผู้แต่ง	International Conference on Logic Programming (19th : 2003 : Mumbai, India)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.115 I61L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

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

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Programmable logic controllers : an introduction / W. Bolton.
ชื่อผู้แต่ง	Bolton, W.
พิมพลักษณ์	Oxford : Newnes, c2003.
เลขเรียก	TJ223.P7 B628p 2003,629.895 Bo694P 2003
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยบูรพา

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11...
ชื่อผู้แต่ง	ILP 2002 (2002 : Sydney, N.S.W.)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.115 I29I 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 2...
ชื่อผู้แต่ง	ILP 2003 (2003 : Szeged, Hungary)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.115 I29I 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2...
ชื่อผู้แต่ง	LPAR (10th : 2003 : Almaty Kazakhstan)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	006.3 L925L 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transportation : 12th International Workshop, LOPSTR 2002, Madrid...
ชื่อผู้แต่ง	International Workshop on Logic Program Synthesis and Transformation (12th : 2002 Madrid, Spain)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.15 I61L 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Tools for structured and object-oriented design : an introduction to programmed logic / Marilyn Bohl...
ชื่อผู้แต่ง	Bohl, Marilyn.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice Hall, 2003.
เลขเรียก	QA76.64 B63 2003
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

12

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

1

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