Ditemukan 170 dokumen yang sesuai dengan query
David Fernandez-Baca, editor
This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with...
Berlin: [, Springer-Verlag], 2012
e20410379
eBooks Universitas Indonesia Library
Viktoria Zsok, editor
This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures...
New York: Springer-Verlag , 2012
e20406354
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
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
This book constitutes the proceedings of the 2nd International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2012, held in Santiago, Chile, on October 7-10, 2012. The 17 papers presented together with four invited talks and one student poster session were carefully reviewed and selected from 47 submissions....
Berlin: Springer-Verlag, 2012
e20409970
eBooks Universitas Indonesia Library
The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on...
Berlin: Springer-Verlag, 2012
e20410544
eBooks Universitas Indonesia Library
The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on...
Berlin: Springer-Verlag, 2012
e20410545
eBooks Universitas Indonesia Library
The 18 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 46 submissions. The wide range of topics in this volume reflects the current state of research in the field, including different genres of GP (tree-based, grammar-based, Cartesian), theory, novel operators, and applications...
Berlin: Springer-Verlag, 2012
e20409836
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks....
Berlin: Springer-Verlag, 2012
e20408656
eBooks Universitas Indonesia Library
Los Alamitos: Calif. IEEE Computer Society Press , 1992
005.746 DAT
Buku Teks Universitas Indonesia Library
