Ditemukan 43 dokumen yang sesuai dengan query
Horoeitz, Ellis
519.4 HOR f (1)
Buku Teks Universitas Indonesia Library
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, author
New York: Springer-Verlag, 1992
005.1 KOZ d
Buku Teks Universitas Indonesia Library
Vladutiu, Mircea, author
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...
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...
Berlin: [, Springer-Verlag], 2012
e20410483
eBooks Universitas Indonesia Library
Sedgewick, Robert, 1946-, author
Upper Saddle River, NJ: Addison-Wesley, 2011
005.1 SED a
Buku Teks Universitas Indonesia Library
Rowe, Glenn W., author
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...
Berlin: Springer, 2012
e20406981
eBooks Universitas Indonesia Library
This comprehensive textbook presents a clean and coherent account of most fundamental tools and techniques in Parameterized Algorithms and is a self-contained guide to the area. The book covers many of the recent developments of the field, including application of important separators, branching based on linear programming, Cut & Count...
Cham: Springer, 2015
519.544 PAR
Buku Teks Universitas Indonesia Library
Berlin: Springer-Verlag, 1991
512.94 NAT c
Buku Teks Universitas Indonesia Library
