Found: 6  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
2
image
ประเภทสื่อ Book
ชื่อเรื่องAdvances in real-time systems / Sang H. Son, editor.
พิมพลักษณ์Englewood Cliffs, N.J. : Prentice Hall, c1995.
เลขเรียกQA 76.54 .A38
ห้องสมุดมหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
3
image
ประเภทสื่อ Book
ชื่อเรื่องModeling and verification of real-time systems : formalisms and software tools / edited by Stephan M...
พิมพลักษณ์Hoboken, NJ : John Wiley, 2008.
เลขเรียกQA76.54 M62 2008,004.0151 M691
ห้องสมุดมหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
4
image
ประเภทสื่อ Book
ชื่อเรื่องReal-time and multi-agent systems / Ammar Attoui ; translator: Suzanne Ingram.
ชื่อผู้แต่งAttoui, Ammar 1957-
พิมพลักษณ์New York : Springer, 2000.
เลขเรียกQA76.54 A88 2000
ห้องสมุดมหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
image
ประเภทสื่อ Book
ชื่อเรื่องReal-time systems : scheduling, analysis, and verification / Albert M.K. Cheng.
ชื่อผู้แต่งCheng, Albert m. k.
พิมพลักษณ์Hoboken, N.J. : Wiley interscience, c2002.
เลขเรียกQA76.54 .C46 2002
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยพะเยา

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