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

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

Select Page | Deselect Page |

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

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh and Mukul Prasad.
ชื่อผู้แต่ง	Fujita, Masahiro.
พิมพลักษณ์	Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
เลขเรียก	TK7895.E42 F8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี