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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

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

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Principles of constraint programming Krzyaztof R. Apt [Text].
ชื่อผู้แต่ง	Apt, Krzysztof r.
พิมพลักษณ์	Cambridge Cambridge University Press 2003.
เลขเรียก	QA76.612 A67P7 2009,005.1 A655
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Principles of constraint programming / Krzysztof R. Apt.
ชื่อผู้แต่ง	Apt, Krzysztof R., 1949-
พิมพลักษณ์	Cambridge ; New York : Cambridge University Press, 2003.
เลขเรียก	QA76.612 A67P7 2003
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยวลัยลักษณ์

5

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

1

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