Ditemukan 462 dokumen yang sesuai dengan query
Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most...
Dordrecht, Netherlands: [Springer, ], 2012
e20398139
eBooks Universitas Indonesia Library
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
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
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
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
Venturi, Daniele, author
Tuttavia, l’analisi di sicurezza di questi schemi crittografici (fino ai primi anni ‘80) era soprattutto guidata dall’intuito e dall’esperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della “sicurezza dimostrabile” ha trasformato la crittografia da arte a scienza, introducendo un...
Milan: [Springer-Verlag, ], 2012
e20410660
eBooks Universitas Indonesia Library
