Search Results

Search again

Found: 5  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Formal methods and software engineering 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / Shengchao Qin, Zongyan Qiu, (ed.)
Author
IEEE International Conference on Formal Engineering Methods
Published
Heidelberg : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Formal methods and software engineering 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hin...
Author
International Conference on Formal Engineering Methods
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pape...
Author
International Workshop on Formal Methods for Industrial Critical Systems
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Formal methods for industrial critical systems 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / Gwen Sala�un, Bernhard Sch�atz, (eds.)
Author
International Workshop on Formal Methods for Industrial Critical Systems
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider, (eds.)
Author
International Conference on Software Engineering and Formal Methods
Published
Heidelberg : Springer, c2011.
Call Number
Ebook
Book Loading...
Search Tools: Get RSS Feed

About us

WALAI AutoLib is library automation system produced by Informatic Innovation Research Unit (IIRU), Walailak University.

Statistics

 Starting from date  14 Dec 2562

Today
98
This month
7,166
This year
440,897
All
7,667,176

Recent News

ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ ปิดบริการชั่วคราว เพื่อปรับปรุงอาคาร

Read 1539

วัน-เวลา เปิดให้บริการ ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ

Read 1353

เปิดบริการให้คำปรึกษาการใช้งานระบบ iThesis (Counseling Services)

Read 685

Read More

Useful Links

Contact Us

1 Chalong Krung, 1 Alley, Lat Krabang, Bangkok 10520
Phone: 02 329 8556
Email: library@kmitl.ac.th
Enter to my library site (KLLC) KMITL Lifelong Learning Center

2020 © WALAI AutoLib. ALL Rights Reserved. | utm20240604

Style Switcher
Theme Colors
Layout Styles
Wide
Boxed