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

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

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal approaches to software testing [electronic resource] : Third International Workshop on Form...
ชื่อผู้แต่ง	Fates 2003 (2003 : Montreal, Quebec)
พิมพลักษณ์	Berlin ; New York : Springer-Verlag, c2004.
เลขเรียก	QA76.9.F67 F52 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal approaches to software testing : Third International Workshop on Formal Approaches to Testin...
ชื่อผู้แต่ง	FATES 2003 (2003 : Montreal, Quebec)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	629.8028563 F111F 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseil...
ชื่อผู้แต่ง	FORMATS 2003 (1st : 2004 : Marseille, France)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	004.33 F724F
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 internationa...
ชื่อผู้แต่ง	FORTE 2004 (2004 : Madrid, Spain)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	004.0151 F737F 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods [electronic resource] : 4th international conference, IFM 2004, Canterbu...
ชื่อผู้แต่ง	International conference on integrated formal methods (4th : 2004 : Canterbury, England)
พิมพลักษณ์	New York, NY : Springer-Verlag Berlin Heidelberg, 2004.
เลขเรียก	QA76.9.F67 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)
พิมพลักษณ์	Berlin : Springer, 2004.
เลขเรียก	004.0151 I61I 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1

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