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

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

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 : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (13th : 2001 : Paris)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	005.14 I61C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (14th : 2002 : Copenhagen, Denmark)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.14 I61C 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12,...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 I61C 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17,...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (16th : 2004 : Boston, Massachusetts)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.14 I61C 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

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

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods for real-time and probabilistic systems : 5th international AMAST workshop, ARTS'99, ...
พิมพลักษณ์	Berlin : Springer, c1999
เลขเรียก	QA76.54 FOR 1999
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

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

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studie...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain...
ชื่อผู้แต่ง	International spin workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.V47 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : pro...
ชื่อผู้แต่ง	International SPIN Workshop (10th : 2003 : Portland, Or.)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 I61M 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : pro...
ชื่อผู้แต่ง	International SPIN Workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.14 I61M 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2

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