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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in Cryptology – EUROCRYPT 2013 [electronic resource] : 32nd Annual International Conference...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.A25
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.A43
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd Internat...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA297-299.4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposiu...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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