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

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

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
ชื่อเรื่อง	Software metrics : a practitioner's guide to improved product development / K.H. Moller and D.J. P...
ชื่อผู้แต่ง	Moller, K.h.
พิมพลักษณ์	London : Chapman & Hall, c1993.
เลขเรียก	QA76.76.E93 M628s
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	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

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