Ditemukan 14 dokumen yang sesuai dengan query
This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully...
Berlin: Springer-Verlag, 2012
e20410494
eBooks Universitas Indonesia Library
This symposium concerned research on the use, design, and analysis of efficient algorithms and data structures, and on the mathematical problems related to the development and analysis of discrete algorithms. The papers are based on the extent to which the results yield new insights for the design, use, or analysis...
New York: Association for Computing Machinery, 2003
e20443195
eBooks Universitas Indonesia Library
Antoine Mine, editor
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...
Berlin: [, Springer-Verlag], 2012
e20410008
eBooks Universitas Indonesia Library
Branislav Rovan, editor
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game...
Berlin: [Springer-Verlag, ], 2012
e20410051
eBooks Universitas Indonesia Library
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: Springer-Verlag, 2012
e20410531
eBooks Universitas Indonesia Library
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: Springer-Verlag, 2012
e20410533
eBooks Universitas Indonesia Library
The papers in this volume were presented at the Ninteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 20-22, 2008, in San Francisco, California. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
New York: Association for Computing Machinery, 2008
e20450983
eBooks Universitas Indonesia Library
We were very pleased to choose papers for presentation at the ACM-SIAM Symposium on Discrete Algorithms (SODA), which will take place in Manhattan in January 2009. A total of 550 short abstracts were submitted, later materializing into 458 submissions, of which 135 were selected. The program committee meeting was entirely...
New York: Association for Computing Machinery, 2009
e20451039
eBooks Universitas Indonesia Library
The papers in this volume were presented at the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 7/9, 2007, in New Orleans, Louisiana. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
New York: Association for Computing Machinery , 2007
e20451276
eBooks Universitas Indonesia Library
Amsterdam: North-Holland, 1981
001.642 SOF
Buku Teks Universitas Indonesia Library
