หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Computer programs -- Verification
Region
ภาคตะวันออกเฉียงเหนือ
ปีที่พิมพ์
2009 (1)
1998 (1)
1993 (1)
ประเภทสื่อ
Book (3)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (3)
ภาคกลาง(กรุงเทพและปริมณฑล) (2)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
มหาวิทยาลัยขอนแก่น (1)
ภาษา
eng (3)
ผลการค้นหา
Found:
3
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana.
ชื่อผู้แต่ง
Lai, Richard.
พิมพลักษณ์
Boston : Kluwer, c1998.
เลขเรียก
TK5105.55 L185
ห้องสมุด
มหาวิทยาลัยขอนแก่น
2
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch.
พิมพลักษณ์
Boston : Academic Press, c1993.
เลขเรียก
QA76 S368 1993,519.4/0285 20
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา