Ditemukan 1753 dokumen yang sesuai dengan query
Ulrich Langer, editor
The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and...
Wien: Springer-Verlag , 2012
e20406819
eBooks Universitas Indonesia Library
Tulisan ini mengetengahkan sejumlah data terbitan berseri bidang ilmu perpustakaan dan informasi di Indonesia setelah tahun 1999. Data ini diperoleh dari pangkalan data ISSN di PDII-LIPI sebagai pusat nasional ISSN di Indonesia. Juga dipaparkan sejumlah permasalahan yang ada mengenai kondisi terbitan berseri ini. Diarapkan penelitian/evaluasi lebih lanjut atas kondisi ini...
LIPI, 2003
020 BACA 27:1 (2003)
Artikel Jurnal Universitas Indonesia Library
Pada dasarnya dunia perpustakaan meiliki cakupan tugas yang sangat luas. Perpustakaan dan pustakawan adalah dua sisi mata uang yang artinya tidak ada perpustakaan tanpa pustakawan. Namun kesan masyarakat terhadap pustakawan cukup miring karena masyarakat masih menganggap pustakawan sebagai sesuatu yang eksklusif dan kajian ilmiah pustakawan masih dianggap sulit untuk diterapkan...
LIPI, 2003
020 BACA 27:1 (2003)
Artikel Jurnal Universitas Indonesia Library
Toennies, Klaus D., author
This book presents a comprehensive overview of medical image analysis. Practical in approach, the text is uniquely structured by potential applications. Features : presents learning objectives, exercises and concluding remarks in each chapter, in addition to a glossary of abbreviations; describes a range of common imaging techniques, reconstruction techniques and...
London: Springer, 2012
e20407724
eBooks Universitas Indonesia Library
Chen, Chaomei, author
Discusses theories and methods focusing on a critical concept of intellectual turning points in the context of critical thinking, scientific discovery, and problem solving in general. This book introduces a novel analytical and experimental system that provides not only new ways for retrospective studies of scientific change but also for...
Berlin: Springer-Verlag, 2011
e20407789
eBooks Universitas Indonesia Library
David Riano, editor
This book constitutes the refereed proceedings of the Third International KR4HC 2011 workshop held in conjunction with the 13th Conference on Artificial Intelligence in medicine, AIME 2011, in Bled, Slovenia, in July 2011. The 11 extended papers presented together with 1 invited paper were carefully reviewed and selected from 22...
Berlin: Springer-Verlag, 2012
e20408167
eBooks Universitas Indonesia Library
Rohit Gheyi, editor
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and...
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks Universitas Indonesia Library
Wohlin, Claes, editor
The book is divided into three parts. The first part provides a background of theories and methods used in experimentation. Part II then devotes one chapter to each of the five experiment steps: scoping, planning, execution, analysis, and result presentation. Part III completes the presentation with two examples. Assignments and...
Heidelberg: [Springer-Science, ], 2012
e20409939
eBooks Universitas Indonesia Library
Jeremy Gibbons, editor
Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed...
Berlin: [, Springer-Verlag], 2012
e20410107
eBooks Universitas Indonesia Library
Pace, Gordon J., editor
This book is mainly written for computer science students, so here the author takes a different approach, he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional...
Berlin: [, Springer-Verlag], 2012
e20410300
eBooks Universitas Indonesia Library
