Ditemukan 64 dokumen yang sesuai dengan query
Johan Jeuring, editor
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012, proceedings
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM...
Berlin : [Springer-Verlag, ], 2012
e20410417
eBooks Universitas Indonesia Library
Bandle, Catherine, editor
This edited volume covers divers aspects of this fascinating field. It addresses classical inequalities related to means or to convexity as well as inequalities arising in the field of ordinary and partial differential equations. This volume is dedicated to Wolfgang Walter’s memory. The “General inequalities” meetings found their continuation in...
Basel: Springer, 2012
e20420460
eBooks Universitas Indonesia Library
Gunther, Michael, editor
ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16th European Conference on Mathematics for Industry, was held in the historic city hall of Wuppertal in Germany. It...
Berlin: Springer, 2012
e20420515
eBooks Universitas Indonesia Library
Dordrecht: Kluwer Academic Pub., 1990
581.9 QUA
Buku Teks Universitas Indonesia Library
Nico Sneeuw, editor
The Hotine-Marussi Symposium is the core meeting of a “think thank”, a group scientists in the geodetic environment working on theoretical and methodological subjects, while maintaining the foundations of geodesy to the proper level by corresponding to the strong advancements improved by technological development in the field of ICT,...
Heidelberg : Springer, 2012
e20405742
eBooks Universitas Indonesia Library
Blowey, James, editor
This book contains detailed lecture notes on four topics at the forefront of current research in computational mathematics. Each set of notes presents a self-contained guide to a current research area and has an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. The...
Berlin: Springer, 2012
e20420441
eBooks Universitas Indonesia Library
This fourth issue on "progress in turbulence" is based on the fourth ITI conference (ITI interdisciplinary turbulence initiative), which took place in Bertinoro, North Italy. Leading researchers from the engineering and physical sciences presented latest results in turbulence research. Basic as well as applied research is driven by the rather...
Berlin : Springer-Verlag, 2012
e20425339
eBooks Universitas Indonesia Library
Sausan Khairunnisa Haida, author
Pembelajaran matematika secara konsep akan semakin abstrak di jenjang pendidikan tinggi. Mahasiswa matematika lebih banyak menghadapi penyelesaian soal berupa pembuktian teorema. Tuntutan kognitif yang semakin berat dapat memperbesar peluang untuk mengalami cognitive failure. Penelitian ini dilakukan untuk mengetahui prediktor dari mathematics cognitive failure pada mahasiswa matematika yang secara khusus harus...
Depok: Fakultas Psikologi Universitas Indonesia, 2024
T-pdf
UI - Tesis Membership Universitas Indonesia Library
Ullrich Kothe, editor
This book constitutes the refereed proceedings of the first Workshop on Applications of Discrete Geometry and Mathematical Morphology, WADGMM 2010, held at the International Conference on Pattern Recognition in Istanbul, Turkey, in August 2010. The 11 revised full papers presented were carefully reviewed and selected from 25 submissions. The book...
Berlin: [Springer-Verlag, ], 2012
e20410394
eBooks Universitas Indonesia Library
Swansea: Pineridge Press, 1980
620.112 6 NUM
Buku Teks Universitas Indonesia Library
