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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchest...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Fundamentals of digital and computer design with VHDL / Richard S. Sandige
ชื่อผู้แต่ง	Sandige, Richard s.
พิมพลักษณ์	New York : McGraw-Hill, c2012
เลขเรียก	TK 7868.D5 S217f 2012,621.395 B881F 2012
ห้องสมุด	มหาวิทยาลัยราชภัฏศรีสะเกษ มหาวิทยาลัยนเรศวร มหาวิทยาลัยพะเยา มหาวิทยาลัยมหิดล มหาวิทยาลัยแม่ฟ้าหลวง ..more

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 1...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Language and Automata Theory and Applications [electronic resource] : 6th International Conference, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA75.5-76.95
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, Wo...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.A43
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Principles and Practice of Constraint Programming [electronic resource] : 18th International Confere...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conf...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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