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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, ...
ชื่อผู้แต่ง	International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	516 I61A 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Sept...
ชื่อผู้แต่ง	International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	516 I61A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinbu...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

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

6

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

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, Fra...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Commonsense reasoning / Erik T. Mueller.
ชื่อผู้แต่ง	Mueller, Erik t.
พิมพลักษณ์	Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006
เลขเรียก	Q338.85 M84 2006,153.4 M947C 2006
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเทคโนโลยีราชมงคลสุวรรณภูมิ

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Commonsense reasoning [electronic resource] : an event calculus based approach / Erik T. Mueller.
ชื่อผู้แต่ง	Mueller, Erik t.
พิมพลักษณ์	Amsterdam : Morgan Kaufmann, 2015.
เลขเรียก	Q338.85
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Discreate mathematics in conputer science / Donald F. Stanat and David F. McAllister.
ชื่อผู้แต่ง	Stanat, Donald f.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, 1977.
เลขเรียก	QA39.2 S688,512.1 St784D
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ มหาวิทยาลัยศิลปากร

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Grammar [electronic resource] : 15th and 16th International Conferences, FG 2010, Copenhagen,...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Pola...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Com...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA75.5-76.95
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

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

1
2

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