Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 14 dokumen yang sesuai dengan query
cover
Programming multi-agent systems : 8th International workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 revised selected papers
" 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 reviewed and selected for inclusion in the book. The papers cover a broad range of mostly practical topics like decision component of agent systems; practical ... "
Berlin: Springer-Verlag, 2012
e20410494
eBooks  Universitas Indonesia Library
cover
Proceedings of the fourteenth annual ACM-SIAM symposium on discrete algorithms
" 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 of efficient algorithms. Performance analysis cover analytical and experimental, worst-case and average-case performance. The studies are both theoretical or based on real data sets, and ... "
New York: Association for Computing Machinery, 2003
e20443195
eBooks  Universitas Indonesia Library
cover
Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
" 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 domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking ... "
Berlin: Springer-Verlag, 2012
e20410008
eBooks  Universitas Indonesia Library
cover
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings
" 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 theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of ... "
Berlin: Springer-Verlag, 2012
e20410051
eBooks  Universitas Indonesia Library
cover
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part I
" 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 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation ... "
Berlin: Springer-Verlag, 2012
e20410531
eBooks  Universitas Indonesia Library
cover
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part II
" 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 submissions. They are organized in three tracks focussing on algorithms, complexity and games, logic, semantics, automata and theory of programming; and foundations of networked computation ... "
Berlin: Springer-Verlag, 2012
e20410533
eBooks  Universitas Indonesia Library
cover
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms
" 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
cover
Proceedings of the twentieth annual ACM-SIAM symposium on discrete algorithms
" 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 electronic and the selection process took place in July and August 2008. The Best Student Paper award was given to the paper "Improved Bounds and ... "
New York: Association for Computing Machinery, 2009
e20451039
eBooks  Universitas Indonesia Library
cover
Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms
" 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
cover
Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany June 16-20, 1980
Amsterdam: North-Holland, 1981
001.642 SOF
Buku Teks  Universitas Indonesia Library
<<   1 2   >>