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

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

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
ชื่อเรื่อง	Automated Technology for Verification and Analysis [electronic resource] : 11th International Sympos...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana.
ชื่อผู้แต่ง	Lai, Richard.
พิมพลักษณ์	Boston : Kluwer, c1998.
เลขเรียก	TK5105.55 L185
ห้องสมุด	มหาวิทยาลัยขอนแก่น

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler specification and verification / Wolfgang Polak.
ชื่อผู้แต่ง	Polak, Wolfgang.
พิมพลักษณ์	Berlin : Springer-Verlag, c1981.
เลขเรียก	QA76.76.C65 P64 1981
ห้องสมุด	มหาวิทยาลัยศิลปากร

5

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

6

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

7

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

8

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

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods of program verification and specification / by H.K. Berg...[et al.]
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1982.
เลขเรียก	QA76.6 B47 1982
ห้องสมุด	มหาวิทยาลัยศิลปากร

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods of program verification and specification / H.K. Berg... [et al.]
ชื่อผู้แต่ง	Berg, Helmut k
พิมพลักษณ์	New Jersey : Prentic-Hall, c1982
เลขเรียก	QA76.6 BER 1982
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Guidance for the verification and validation of neural networks / Laura L. Pullum, Brian J. Taylor ...
ชื่อผู้แต่ง	Pullum, Lauren L
พิมพลักษณ์	Hoboken, N.J. : John Wiley & Sons, c2007
เลขเรียก	QA76.87 PUL 2007
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

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

14

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

15

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

1
2
3

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