Ditemukan 31 dokumen yang sesuai dengan query
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Approximation and Online Algorithms, WAOA 2011, held in Saarbrücken, Germany, in September 2011. The 21 papers presented were carefully reviewed and selected from 48 submissions. The volume also contains an extended abstract of the invited talk of...
Berlin: Springer-Verlag, 2012
e20410515
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The papers present original research at the intersection of algorithms and game theory and address various current topics such as solution concepts in game theory, efficiency...
Berlin: Springer-Verlag, 2012
e20408518
eBooks Universitas Indonesia Library
Pitt-Francis, Joe, author
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises. Features, provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI, stresses the importance...
London: Springer, 2012
e20407906
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012. The 69 revised full papers presented were carefully reviewed and selected from 285 initial submissions: 56 out of...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410014
eBooks Universitas Indonesia Library
Logg, Anders, editor
This book is written by researchers and developers behind the FEniCS Project and explores an advanced, expressive approach to the development of mathematical software. The presentation spans mathematical background, software design and the use of FEniCS in applications. Theoretical aspects are complemented with computer code which is available as free/open...
Berlin: [Springer-Verlag, ], 2012
e20419285
eBooks Universitas Indonesia Library
Forth, Shaun, editor
The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers...
Berlin: [Springer, ], 2012
e20419918
eBooks Universitas Indonesia Library
Golan, Jonathan S., author
The book is intended to be used either as a self-study guide, a textbook for a course in advanced linear algebra, or as a reference book. It is also designed to prepare a student for the linear algebra portion of prelim exams or PhD qualifying exams. The volume is self-contained...
Dordrecht: Springer, 2012
e20420594
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Workshop MUSCLE 2011 on Computational Intelligence for Multimedia Understanding, organized by the ERCIM working group in Pisa, Italy on December 2011. The 18 revised full papers were carefully reviewed and selected from over numerous submissions. The papers cover the following topics:...
Berlin: Springer-Verlag, 2012
e20410084
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems),...
Berlin: Springer-Verlag, 2012
e20410445
eBooks Universitas Indonesia Library
Guohui Lin, editor
This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012. The 33 revised papers including one invited talk and one keynote talk were carefully reviewed and selected from 57 submissions. The papers are focused to theoretical results and also...
Berlin: [Springer-Verlag, Springer-Verlag], 2012
e20410155
eBooks Universitas Indonesia Library
