Ditemukan 19 dokumen yang sesuai dengan query
Bruter, Claude, editor
This volume, the content of the first conference of the European Society for Mathematics and the Arts (ESMA), held in Paris in 2010, gives an overview on some significant and beautiful recent works where maths and art, including architecture and music, are interwoven. The book includes a wealth of mathematical...
Berlin: [Springer, ], 2012
e20419944
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...
Berlin: Springer-Verlag, 2012
e20410304
eBooks Universitas Indonesia Library
The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field...
Heidelberg: Springer, 2012
e20409974
eBooks Universitas Indonesia Library
Carlo A. Furia, author
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results...
Berlin: [, Springer-Verlag], 2012
e20410092
eBooks Universitas Indonesia Library
Villiers, Johan de, author
The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline, is an important issue in application areas like computer-aided geometric design and signal analysis. This book is an introduction to the mathematical analysis of such approximation, and, with the prerequisites of only calculus...
Amsterdam: [Atlantis Press, ], 2012
e20419945
eBooks Universitas Indonesia Library
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on...
Berlin : Springer-Verlag, 2012
e20410618
eBooks Universitas Indonesia Library
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on...
Berlin : Springer-Verlag, 2012
e20410616
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
Benoit M. Dawant, editor
This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration, WBIR 2012, held in Nashville, Tennessee, USA, in July 2012. The 20 full papers and 11 poster papers included in this volume were carefully reviewed and selected from 44 submitted papers. They full papers are...
Berlin : [, Springer-Verlag], 2012
e20410428
eBooks Universitas Indonesia Library
