Search Results

Search again

Found: 14  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
A science of operations machines, logic and the invention of programming / Mark Priestley.
Author
Priestley, Mark.
Published
London : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Alfred Tarski early work in Poland-geometry and teaching / Andrew McFarland, Joanna McFarland, James T. Smith, editors.
Published
Berlin : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Algebraic circuits Antonio Lloris [and three others].
Author
Castillo Morales, Encarnacion,
Published
Heidelberg : Springer, c2014.
Call Number
Ebook
Book Loading...
image
David Makinson on classical methods for non-classical problems Sven Ove Hansson, editor.
Author
Hansson, Sven Ove,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Explaining beauty in mathematics an aesthetic theory of mathematics / Ulianov Montano.
Author
Montano, Ulianov.
Published
Cham, [Germany] : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Handbook of spatial logics edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Published
Dordrecht : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Hybrid logic and its proof-theory by Torben Braüner.
Author
Braüner, Torben.
Published
Dordrecht : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Lesniewski's systems of logic and foundations of mathematics by Rafal Urbaniak.
Author
Urbaniak, Rafal.
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Logic and games on automatic structures playing with quantifiers and decompositions / Lukasz Kaiser.
Author
Kaiser, Lukasz.
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Mathematical logic foundations for information science / Wei Li.
Author
Li, Wei.
Published
Basel : Birkhäuser, 2014.
Call Number
Ebook
Book Loading...
image
Perspectives in computational complexity the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind, editors.
Published
Cham : Birkhauser, c2014.
Call Number
Ebook
Book Loading...
image
Set theory exploring independence and truth / Ralf Schindler.
Author
Schindler, Ralf-Dieter.
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Strict finitism and the logic of mathematical applications by Feng Ye
Author
Ye, Feng.
Published
Dordrecht : Springer, c2011.
Call Number
Ebook
Book Loading...
image
The Arch�e papers on the mathematics of abstraction edited by Roy T. Cook.
Published
Dordrecht : Springer, c2007.
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,624
This month
19,177
This year
497,197
All
2,079,824

Recent News

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

Read 1748

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

Read 1485

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

Read 822

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