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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Abstract domains in constraint programming [electronic resource] / Marie Pelleau.
ชื่อผู้แต่ง	Pelleau, Marie.
พิมพลักษณ์	London : ISTE Press, 2015.
เลขเรียก	QA76.612
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Analysis and visualization tools for contraint programming : constraint debugging / Pierre Deransa...
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	005.11 A532
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Ant colony optimization and constraint programming / Christine Solnon
ชื่อผู้แต่ง	Solnon, Christine
พิมพลักษณ์	London : iSTE, c2010
เลขเรียก	QA76.612 SOL 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	C++ power paradigms / Mark Watson.
ชื่อผู้แต่ง	Watson, Mark.
พิมพลักษณ์	New York : McGraw-Hill, c1995.
เลขเรียก	QA76.64 W33c
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint and integer programming : toward a unified methodology / edited by Michela Milano.
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c2004.
เลขเรียก	QA76.612 C6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint databases and applications : Second International Workshop on Constraint Database System...
ชื่อผู้แต่ง	International Workshop on Constraint Database Systems (2nd : 1997 : Delphi, Greece)
พิมพลักษณ์	Berlin : Springer-Verlag, c1996.
เลขเรียก	QA76.612 .I59 1997
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint handling rules / Thom Fruhwirth
ชื่อผู้แต่ง	Fruhwirth, Thom 1962-
พิมพลักษณ์	Cambridge, UK ; New York : Cambridge University Press, c2009.
เลขเรียก	QA76.612 C756f 2009
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

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

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint processing / Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca ...
ชื่อผู้แต่ง	Dechter, Rina.
พิมพลักษณ์	San Francisco [CA] : Elsevier Science, 2003
เลขเรียก	QA76.612 D4,005.1/1 22
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยธุรกิจบัณฑิตย์

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint programming in music / edited by Charlotte Truchet, Gerard Assayag.
พิมพลักษณ์	London : iSTE, c2011
เลขเรียก	MT56 C6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint satisfaction problems [electronic resource] : CSP formalisms and techniques / Khaled Ghed...
ชื่อผู้แต่ง	Ghedira, Khaled.
พิมพลักษณ์	Hoboken, NJ : Wiley, 2013.
เลขเรียก	QA267.7
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีสุรนารี

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

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint theory : multidimensional mathematical model management / George J. Friedman, Phan Phan
ชื่อผู้แต่ง	Friedman, George j
พิมพลักษณ์	Cham : Springer International Publishing, c2017
เลขเรียก	TA168
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint-aided conceptual design / B. O'Sullivan.
ชื่อผู้แต่ง	O'Sullivan, B.
พิมพลักษณ์	London : Professional Engineering, c2002.
เลขเรียก	TA345 O8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint-based agents : an architecture for constraint-based modeling and local-search-based reas...
ชื่อผู้แต่ง	Nareyek, Alexander.
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	006.3 N227C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2
3

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