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

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

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
ชื่อเรื่อง	Numerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA297 N867 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germ...
ชื่อผู้แต่ง	Dagstuhl Seminar on Numerical Software with Result Verification (2003 : Dagstuhl, Germany)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	518.02855 D127N
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Tools for Practical Software Verification [electronic resource] : LASER, International Summer School...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 200...
ชื่อผู้แต่ง	VMCAI (4th : 2003 : New York, NY)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 V871V 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 200...
ชื่อผู้แต่ง	VMCAI 2004 (2004 : Venice, Italy)
พิมพลักษณ์	Berlin : Springer, 2004.
เลขเรียก	005.14 V871V 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, model checking, and abstract interpretation : third international workshop, VMCAI 200...
ชื่อผู้แต่ง	VMCAI 2002 (2002 : Venice, Italy)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.14 V871V
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

ส่งข้อเสนอแนะ/ปัญหา