Found: 11  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องCertified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องCombinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.M35
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
image
ประเภทสื่อ Book
ชื่อเรื่องComputer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.A43
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องFormal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, B...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQ334-342
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
image
ประเภทสื่อ 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
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
image
ประเภทสื่อ 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
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
image
ประเภทสื่อ Book
ชื่อเรื่องIntelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 1...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.M35
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
image
ประเภทสื่อ Book
ชื่อเรื่องLanguages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65t...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA75.5-76.95
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
image
ประเภทสื่อ Book
ชื่อเรื่องLogic, Language, Information and Computation [electronic resource] : 19th International Workshop, Wo...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.A43
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
image
ประเภทสื่อ 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
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
image
ประเภทสื่อ Book
ชื่อเรื่องSets, Logic and Maths for Computing [electronic resource] / by David Makinson.
ชื่อผู้แต่งMakinson, David
พิมพลักษณ์London : Springer London, c2012
เลขเรียกQA76.9.M35
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา