Found: 22  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องAbstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องApplications of Graph Transformations with Industrial Relevance [electronic resource] : 4th Internat...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.M35
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
image
ประเภทสื่อ Book
ชื่อเรื่องAutomated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchest...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA8.9-QA10.3
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องComputation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Comput...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.A43
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
image
ประเภทสื่อ Book
ชื่อเรื่องComputer Science – Theory and Applications [electronic resource] : 7th International Computer Scienc...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.A43
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
image
ประเภทสื่อ 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
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
image
ประเภทสื่อ Book
ชื่อเรื่องDevelopments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Tai...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA75.5-76.95
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
image
ประเภทสื่อ Book
ชื่อเรื่องEnhancing understanding and constructing knowledge in mathematics with technology : Proceedings of t...
ชื่อผู้แต่งAsian technology conference in mathematics 13th (2008 ; editors, Wei-chi yang...[et al.])
พิมพลักษณ์Bangkok : Suan Sunandha Rajabhat University, 2008.
เลขเรียก510 En56 2008
ห้องสมุดมหาวิทยาลัยราชภัฏมหาสารคาม
9
image
ประเภทสื่อ Book
ชื่อเรื่องFoundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA8.9-QA10.3
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
image
ประเภทสื่อ Book
ชื่อเรื่องGraph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germa...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.M35
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
image
ประเภทสื่อ Book
ชื่อเรื่องLectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 20...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
image
ประเภทสื่อ Book
ชื่อเรื่องLogic, Language, Information and Computation [electronic resource] : 19th International Workshop, Wo...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.9.A43
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
image
ประเภทสื่อ Book
ชื่อเรื่องLogic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposiu...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA76.6-76.66
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
image
ประเภทสื่อ Book
ชื่อเรื่องMathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012,...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
image
ประเภทสื่อ Book
ชื่อเรื่องPrinciples and Practice of Constraint Programming [electronic resource] : 18th International Confere...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียกQA8.9-QA10.3
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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