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

| |

Type	Book
ชื่อเรื่อง	การแปลงไทมด์ออโตมาตาความน่าจะเป็นไปเป็นรหัสปริซึม / ถิรวัตร สุตาลังกา = Transforming probabilistic timed Automata to PRISM code / Thirawat Sutalungka
ผู้แต่ง	ถิรวัตร สุตาลังกา ผู้แต่ง
รูปเล่ม	ก-ญ, 113 ,14 แผ่น : ภาพประกอบ, แผนภูมิ
ลิงค์	วิทยานิพนธ์ฉบับเต็ม (Full Text) DOI: 10.58837/CHULA.THE.2023.296
หัวเรื่อง	Computers
	Machinery
	Probabilities
	ความน่าจะเป็น
	คอมพิวเตอร์
	เครื่องจักรกล

1	จุฬาลงกรณ์มหาวิทยาลัย 254 ถนนพญาไท แขวงวังใหม่ เขตปทุมวัน กรุงเทพมหานคร 10330 Loading items...