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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

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

3

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

1

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