Search Results

Search again

Found: 16  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Automata, languages and programming 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.)
Author
International Colloquium on Automata, Languages, and Programming
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Graph-theoretic concepts in computer science 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers / Andreas Brandstadt, Dieter Kratsch, Haiko Muller, (eds.)
Author
Conference on Graphtheoretic Concepts in Computer Science
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Machines, computations, and universality 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jerome Durand-Lose, Maurice Margenstern, (eds.)
Author
MCU 2007
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Ludek Kucera, Antonin Kucera, (eds.)
Author
Symposium on Mathematical Foundations of Computer Science
Published
Berlin : Springer, c2007
Call Number
Ebook
Book Loading...
image
Mathematical foundations of computer science 2011 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / Filip Murlak, Piotr Sankowski, (eds.)
Author
Symposium on Mathematical Foundations of Computer Science (1972- )
Published
Berlin : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 : revised papers / Irina Virbitskaite, Andrei Voronkov, (eds.)
Author
International Andrei Ershov Memorial Conference
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages January 25-27, 2012, Philadelphia, PA / sponsored by ACM SIGPLAN
Author
Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Published
New York : ACM, c2012.
Call Number
QA76.7 A6p 2012
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages January 23-25, 2013, Rome, Italy / sponsored by ACM SIGPLAN and ACM SIGACT.
Author
Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Published
New York : ACM, c2013.
Call Number
QA76.7 A6p 2013
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
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 multi-agent systems 4th international workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers / Rafael H. Bordini ... [et al.] (eds.)
Author
ProMAS (Conference)
Published
Berlin : Springer, c2007.
Call Number
Ebook
Book Loading...
image
Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
Author
NATO Advanced Study Institute on Proof Technology and Computation
Published
Amsterdam : IOS Press, c2006.
Call Number
QA76.9.A96 N2p
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Software and data technologies 4th international conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / Jose Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov, (eds.)
Author
ICSOFT (Conference)
Published
Heidelberg : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Software language engineering third international conference, SLE 2010, Eindhoven, the Netherlands, October 12-13, 2010 : revised selected papers / Brian Malloy, Steffen Staab, Mark van den Brand, (ed...
Author
SLE (Conference)
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
312
This month
58,839
This year
477,231
All
2,073,960

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