Search Results

Search again

Found: 7  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Automata, languages and programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / Josep Diaz ... [et al.] (eds.).
Author
International Colloquium on Automata, Languages, and Programming
Published
Berlin ; New York : Springer, 2004.
Call Number
QA267 I55 2004eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen, editor.
Author
MPC 2004
Published
Berlin ; New York : Springer, c2004.
Call Number
QA76.6 M6926 2004eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Proceedings : the Twentieth Annual International Computer Software & Applications Conference COMPSAC ’96 ; August 21-23, 1996, Seoul, Korea / sponsored by IEEE Computer Society, Korea Information Scie...
Author
COMPSAC
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
Call Number
QA76.6 C6295 1996
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, heldas part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...
Author
European Symposium on Programming
Published
Berlin ; New York : Springer, c2004.
Call Number
QA76.6 E976 2004eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Programming multi-agent systems first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrou...
Author
ProMAS (Conference)
Published
Berlin ; New York : Springer, c2004.
Call Number
QA76.76.I58 P82 2003eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / VincentVan Oostrom, (Ed.).
Author
International Conference on Rewriting Techniques and Applications
Published
Berlin ; New York, NY : Springer, c2004.
Call Number
QA267 I555 2004eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
Book Loading...
image
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.).
Author
International Static Analysis Symposium
Published
Berlin ; New York : Springer, c2004.
Call Number
QA76.76 I5733 2004eb
Location
ศูนย์บรรณสารและสื่อการศึกษา
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  1 Nov 2562

Today
3,104
This month
4,830
This year
229,490
All
2,448,164

Recent News

ฟรีข้อมูล COVID-19

Read 2402

Read More

Useful Links

Contact Us

The Center for Library Resources and Educational media, Walailak University, 222, Thaiburi, Thasala District, Nakhon Si Thammarat, 80160
Phone: +66-7567-3344
Email: wulibrary@gmail.com
Enter to my library site CLM Library

2020 © WALAI AutoLib. ALL Rights Reserved. | | Privacy Policy | Terms of Service

Style Switcher
Theme Colors
Layout Styles
Wide
Boxed