Found: 5  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องUnifying theories of programming / edited by Burkhart Wolff, Marie-Claude Gaudel and Abderrahmane F...
ชื่อผู้แต่งInternational symposium, Utp 2012 (4th : 2012 : Paris, France)
พิมพลักษณ์Berlin ; New York : Springer, c2013.
เลขเรียกQA76.6 I573 2012
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องReachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, ...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
image
ประเภทสื่อ Book
ชื่อเรื่องComputation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic r...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกQA76.9.L63
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
image
ประเภทสื่อ Book
ชื่อเรื่องFoundations of Software Science and Computation Structures [electronic resource] : 16th Internationa...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกQA8.9-QA10.3
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
image
ประเภทสื่อ Book
ชื่อเรื่องApplication and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conf...
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียกQA75.5-76.95
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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