Ditemukan 44 dokumen yang sesuai dengan query
"
The papers in this volume were presented at the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, held January 17-19, 2010, in Austin, TX. 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 ...
"
Philadelphia: Society for Industrial and Applied Mathematics, 2010
e20443396
eBooks Universitas Indonesia Library
Kozen, Dexter
New York: Springer-Verlag, 1992
005.1 KOZ d
Buku Teks SO Universitas Indonesia Library
Horoeitz, Ellis
519.4 HOR f (1);519.4 HOR f (2)
Buku Teks SO Universitas Indonesia Library
Rowe, Glenn W.
London: Prentice-Hall, 1997
005.73 ROW i
Buku Teks Universitas Indonesia Library
Youssef Hamadi, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012. The 23 long and 30 short revised papers were carefully reviewed and selected from a total of 99 submissions. The papers focus on the intersections and uncharted territories between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. In addition to the paper contributions the ...
"
Berlin: Springer, 2012
e20406981
eBooks Universitas Indonesia Library
Vladutiu, Mircea
"
The subject of this book is the analysis and design of digital devices that implement computer arithmetic. The book's presentation of high-level detail, descriptions, formalisms and design principles means that it can support many research activities in this field, with an emphasis on bridging the gap between algorithm optimization and hardware implementation. The author provides a unified view linking the domains of digital design and arithmetic algorithms, based on original formalisms and hardware description languages.
A ...
"
Berlin: [, Springer-Verlag ], 2012
e20408683
eBooks Universitas Indonesia Library
Fedor V. Fomin, editor
"
This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data ...
"
Berlin: [, Springer-Verlag], 2012
e20410483
eBooks Universitas Indonesia Library
Sedgewick, Robert, 1946-
Upper Saddle River, NJ: Addison-Wesley, 2011
005.1 SED a
Buku Teks SO Universitas Indonesia Library
Berlin: Springer-Verlag, 1991
512.94 NAT c
Buku Teks SO Universitas Indonesia Library
Berlin: Springer-Verlag, 1991
512.94 NAT c
Buku Teks SO Universitas Indonesia Library