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

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

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Data flow analysis [electronic resource] : theory and practice / Uday P. Khedker, Amitabha Sanyal an...
ชื่อผู้แต่ง	Khedker, Uday.
พิมพลักษณ์	Boca Raton, FL : CRC Press/Taylor & Francis, c2009.
เลขเรียก	QA76.76.C65
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

2

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefe...
ชื่อผู้แต่ง	Yoeli, Michael
พิมพลักษณ์	Hoboken, NJ : John Wiley, c2008.
เลขเรียก	TK7874.58 Y62v,621.381548 V516
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี

1

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