Search Results

Search again

Found: 13  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
Handbook of practical logic and automated reasoning / John Harrison
Author
Harrison, John.
Published
Cambridge : Cambridge University Press, c2009
Call Number
QA76.9.L63 H31h
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
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
Introductory logic and sets for computer scientists / Nimal Nissanke.
Author
Nissanke, Nimal.
Published
Harlow : Addison Wesley Longman, c1999.
Call Number
QA76.9.L63 N56i
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
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
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Author
Huth, Michael.
Published
Cambridge : Cambridge University Press, c2000.
Call Number
QA76.9.L63 H93l
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Logical problem solving before the flowchart with C++ and Visual Basic applications / Robert Lamey.
Author
Lamey, Robert.
Published
Upper Saddle River, NJ : Prentice Hall, c2002.
Call Number
QA76.73.C153 L285l
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Making claims knowledge design, capture, and sharing in HCI / D. Scott McCrickard.
Author
McCrickard, D. Scott.
Published
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012.
Call Number
QA76.9.H85 M355 2012,004.019 23
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,120
This month
55,415
This year
473,807
All
2,070,536

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