Search Results

Search again

Found: 14  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Automata, languages and programming 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings. Luca Aceto, Monika Henzinger, Jiri Sgall, (eds.)
Author
International Colloquium on Automata, Languages, and Programming
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Automata, languages and programming 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings. Luca Aceto, Monika Henzinger, Ji�r�i Sgall, (eds.)
Author
International Colloquium on Automata, Languages, and Programming
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Database programming languages 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers / Marcelo Arenas, Michael I. Schwartzbach, (eds.)
Author
International Symposium on Database Programming Languages
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Declarative agent languages and technologies VIII 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / Andrea Omicini, Sebastian Sardina, Wambe...
Author
International Workshop on Declarative Agent Languages and Technologies
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock, (eds.)
Author
International Training School on Domain Modeling and the Duration Calculus
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Languages and compilers for parallel computing 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers / George Almasi, Calin Cascaval, Peng Wu, (eds.)
Author
Workshop on Languages and Compilers for Parallel Computing
Published
Berlin : Springer, 2007.
Call Number
Ebook
Book Loading...
image
Languages, methodologies, and development tools for multi-agent systems third international workshop, LADS 2010, Lyon, France, August 30-September 1, 2010 : revised selected papers / Mehdi Dastani ......
Author
LADS 2010
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Pristine perspectives on logic, language, and computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers / Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig (editors).
Author
European Summer School in Logic, Language, and Information
Published
Berlin : Springer, c2014.
Book Loading...
image
Programming languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / Fernando Magno Quintaoo Pereira (editors).
Author
SBLP (Symposium)
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Programming languages and systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, proceedings / Jacques Garrigue (editor).
Author
APLAS (Symposium)
Published
Berlin : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Programming languages and systems 20th European symposium on programming, ESOP 2011, held as part of the Joint European conferences on theory and practice of software, ETAPS 2011, Saarbrucken, Germany...
Author
European Symposium on Programming
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Programming languages and systems 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao, (ed.)
Author
APLAS (Symposium)
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Programming languages and systems 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / Hongseok Yang (ed.).
Author
APLAS (Symposium)
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / Eran Yahav, (ed.)
Author
International Static Analysis Symposium
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
78
This month
58,605
This year
476,997
All
2,073,726

Recent News

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

Read 1732

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

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