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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 20...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

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

4

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

5

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

6

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

7

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

8

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

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods for components and objects [electronic resource] : third international symposium, FMC...
พิมพลักษณ์	Berlin ; New York : Springer, 2005.
เลขเรียก	QA76.9.F67 F53 2005eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on For...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

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

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal techniques for distributed systems [electronic resource] : joint 12th IFIP WG 6.1 Internation...
ชื่อผู้แต่ง	International conference on formal methods for open object-based distributed systems (12th : 2010 : Amsterdam, Netherlands)
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.9.F67 INT 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

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

1
2

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