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

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

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 Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer Science – Theory and Applications [electronic resource] : 8th International Computer Scienc...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.A43
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

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

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA75.5-76.95
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Fast Compact Algorithms and Software for Spline Smoothing [electronic resource] / by Howard L. Weine...
ชื่อผู้แต่ง	Weinert, Howard l
พิมพลักษณ์	New York, NY : Springer New York, c2013
เลขเรียก	QA276-280
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India,...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

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

10

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

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and...
ชื่อผู้แต่ง	O’regan, Gerard
พิมพลักษณ์	London : Springer London, c2013
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical computing with modern Fortran / Richard J. Hanson and Tim Hopkins.
ชื่อผู้แต่ง	Hanson, Richard j.
พิมพลักษณ์	Philadelphia, PA : SIAM, 2013.
เลขเรียก	QA76.73.F25 H3,518.0285 Ha251N
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา

14

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

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Worksho...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2

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