Ditemukan 57 dokumen yang sesuai dengan query
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
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
Chekanov, Sergei V, author
Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics for visualization are the key topics of this book. The Python code examples powered by the Java platform can easily be transformed to other programming languages, such as Java, Groovy, Ruby and BeanShell. This book...
Switzerland: Springer International Publishing, 2016
e20528426
eBooks Universitas Indonesia Library
Buttazzo, Giuseppe, editor
This volume consists of papers presented at the Variational Analysis and Aerospace Engineering Workshop II held in Erice, Italy in September 2010 at the International School of Mathematics "Guido Stampacchia". The workshop provided a platform for aerospace engineers and mathematicians (from universities, research centers and industry) to discuss the advanced...
New York: [Springer, ], 2012
e20419489
eBooks Universitas Indonesia Library
Priyono, author
Untuk mengetahui perubahan konsentrasi di saluran persegi terbuka dan lurus akibat mekanisme adveksi dan dispersi dapat dilakukan dengan menggunakan model komputer yang terbuat dari perangkat sederhana seperti spread sheet. Dalam membuat model tersebut diperlukan persamaan matematis adveksi-dispersi dan kemudian diselesaikan secara numerik dengan pendekatan Beda Hingga dan Runge-Kutta. Model numerik...
Depok: Fakultas Teknik Universitas Indonesia, 2009
S50515
UI - Skripsi Open Universitas Indonesia Library
