Search Results

Search again

Found: 643  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : ...
Author
International Conference on Formal Methods for Open Object-Based Distributed Systems
Published
Heidelberg : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Formal verification of object-oriented software international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / Bernhard Beckert, Claude March�e (eds.)
Author
FoVeOOS 2010
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
FORMS/FORMAT 2010 formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder, G�eza Tarnai, editors
Author
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Foundations of augmented cognition directing the future of adaptive systems : 6th international conference, FAC 2011 Held as part of HCI international 2011 Orlando, FL, USA, July 9-14, 2011 : proceedi...
Author
International Conference on Augmented Cognition
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Foundations of computer software modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers / Radu C...
Author
Monterey Workshop
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Foundations of security analysis and design VI FOSAD tutorial lectures / Alessandro Aldini, Roberto Gorrieri, (eds.).
Author
International School on Foundations of Security Analysis and Design
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Foundations of software science and computational structures 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011,...
Author
FOSSACS (Conference)
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Foundations on natural and artificial computation 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30-Ju...
Author
International Work-Conference on the Interplay Between Natural and Artificial Computation
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
From brains to systems brain-inspired cognitive systems 2010 / Carlos Hernandez ... [et al.], editors.
Author
Brain-inspired Cognative Systems
Published
New York : Springer, c2011.
Call Number
Ebook
Book Loading...
image
From varying couplings to fundamental physics proceedings of symposium 1 of JENAM 2010 / editors, Carlos Martins, Paolo Molaro.
Author
Joint European and National Astronomical Meeting
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Frontiers in algorithmics and algorithmic aspects in information and management joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / Mikhail Atallah, Xiang-Yan...
Author
FAW-AAIM 2011
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Frontiers in fusion research physics and fusion / Mitsuru Kikuchi.
Author
Kikuchi, Mitsuru.
Published
London : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Frontiers of combining systems 8th international symposium, FroCoS 2011, Saarbr�ucken, Germany, October 5-7, 2011 : proceedings / Cesare Tinelli, Viorica Sofronie-Stokkermans, (eds.)
Author
FroCoS 2011
Published
Heidelberg : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Functional and constraint logic programming 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / Julio Mari�no, (ed.)
Author
WFLP 2010
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Functional and constraint logic programming 20th international workshop, WFLP 2011, Odense, Denmark, July 19, 2011 : proceedings / Herbert Kuchen, (ed.)
Author
International Workshop on Fuctional and (Constraint) Logic Programming
Published
Berlin : 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
302
This month
129,660
This year
298,966
All
2,240,279

Recent News

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

Read 1610

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

Read 1402

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

Read 741

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