Search again

Found: 7  Titles

Order by :    Show:   Per Page
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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

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
ศูนย์บรรณสารและสื่อการศึกษา

Search Tools: Get RSS Feed
Style Switcher
Theme Colors

Layout Styles