หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Publish year
2012
Subject
Computer software -- Verification
ปีที่พิมพ์
2012 (10)
ประเภทสื่อ
Book (10)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (10)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (10)
ภาษา
eng (10)
ผลการค้นหา
Found:
10
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Automated Technology for Verification and Analysis [electronic resource] : 10th International Sympos...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkele...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, Fo...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Veri...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studie...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา