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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Alan Turing : his work and impact [electronic resource] / edited by S. Barry Cooper and Jan van Leeu...
พิมพลักษณ์	Waltham, MA : Elsevier, 2013.
เลขเรียก	QA29.T8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยบูรพา

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Alan Turing [electronic resource] : his work and impact / edited by S. Barry Cooper and J. van Lee...
พิมพลักษณ์	Amsterdam ; Boston : Elsevier, 2013.
เลขเรียก	510.92
ห้องสมุด	มหาวิทยาลัยบูรพา

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to mathematical logic / Richard E. Hodel.
ชื่อผู้แต่ง	Hodel, Richard e.
พิมพลักษณ์	New York : Dover, 2013.
เลขเรียก	511.3 Ho687I 2013
ห้องสมุด	มหาวิทยาลัยราชภัฏนครศรีธรรมราช

5

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

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] : 24th International Workshop, IWOCA 2013, Rouen, Fra...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 / David Hilbert ; Wi...
พิมพลักษณ์	Heidelberg ; New York : Springer, c2013.
เลขเรียก	QA248 D249 2013
ห้องสมุด	มหาวิทยาลัยมหิดล

9

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

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Proje...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, H...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements [electro...
ชื่อผู้แต่ง	Geldsetzer, Lutz
พิมพลักษณ์	Dordrecht : Springer Netherlands, c2013
เลขเรียก	BC1-199
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Logicism and its philosophical legacy / William Demopoulos.
ชื่อผู้แต่ง	Demopoulos, William.
พิมพลักษณ์	Cambridge : Cambridge University Press, 2013.
เลขเรียก	511.3 D385L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์

1
2

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