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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	FME 2002 : formal methods-getting IT right : International Symposium of Formal Methods Europe, Cope...
ชื่อผู้แต่ง	International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.1 I61F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, Septembe...
ชื่อผู้แต่ง	International Symposium of Formal Methods Europe (2003 : Pisa, Italy)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.1 I61F 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods and software engineering : 4th International Conference on Formal Engineering Method...
ชื่อผู้แต่ง	International Conference on Formal Engineering Methods (4th : 2002 : Shanghai, China)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	004.0151 I61F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, U...
ชื่อผู้แต่ง	FMCAD 2002 (4th : 2002 : Portland, Or.)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	621.392 F648F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

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

8

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

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

10

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, No...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany)
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	004.0151 I61I 2000
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 20...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
พิมพลักษณ์	Berlin : Springer, 2002.
เลขเรียก	004.0151 I61I 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer...
ชื่อผู้แต่ง	EEF Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	004 E26L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1

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