หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Publish year
2009
Subject
Computer software -- Verification
ปีที่พิมพ์
2009 (2)
ประเภทสื่อ
Book (2)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (2)
ภาคกลาง(กรุงเทพและปริมณฑล) (1)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
ภาษา
eng (2)
ผลการค้นหา
Found:
2
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
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
ชื่อเรื่อง
Software verification and analysis : an integrated, hands-on approach / Janusz Laski, William Stanle...
ชื่อผู้แต่ง
Laski, Janusz
พิมพลักษณ์
London ; New York : Springer, c2009.
เลขเรียก
QA76.76.V47 L37 2009
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา