Search Results

Search again

Found: 8  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
All about Maude-a high-performance logical framework how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]
Author
Clavel, Manuel.
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler.
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattl...
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, c2014.
Call Number
Ebook
Book Loading...
image
Krister Segerberg on logic of actions Robert Trypuz, editor.
Author
Trypuz, Robert,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Semantics of probabilistic processes an operational approach / by Yuxin Deng.
Author
Deng, Yuxin.
Published
Berlin, Heidelberg : Springer, c2014.
Call Number
Ebook
Book Loading...
image
The calculus of computation decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.
Author
Bradley, Aaron R.
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
The logician and the engineer how George Boole and Claude Shannon created the information age / Paul J. Nahin.
Author
Nahin, Paul J.
Published
Princeton : Princeton University Press, c2012.
Call Number
Ebook
Book Loading...
image
Transactions on Petri Nets and other models of concurrency IX edited by Maciej Koutny, Serge Haddad, Alex Yakovlev.
Author
Haddad, Serge,
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
1,244
This month
55,539
This year
473,931
All
2,070,660

Recent News

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

Read 1731

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

Read 1472

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

Read 809

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