Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 170 dokumen yang sesuai dengan query
cover
David Fernandez-Baca, editor
LATIN 2012 : theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings
" 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 a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational ... "
Berlin: [, Springer-Verlag], 2012
e20410379
eBooks  Universitas Indonesia Library
cover
DCC'92 Data Compression Conference
Los Alamitos: Calif. IEEE Computer Society Press , 1992
005.746 DAT
Buku Teks  Universitas Indonesia Library
cover
Viktoria Zsok, editor
Central European functional programming school : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers
" 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 cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the ... "
New York: Springer-Verlag , 2012
e20406354
eBooks  Universitas Indonesia Library
cover
Principles and practice of constraint programming : 18th international conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings
" 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. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization ... "
Berlin: Springer-Verlag, 2012
e20408656
eBooks  Universitas Indonesia Library
cover
Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
" 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 selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of ... "
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks  Universitas Indonesia Library
cover
Genetic programming : 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings
" 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
cover
Progress in cryptology–LATINCRYPT 2012 : 2nd international conference on cryptology and information security in Latin America, Santiago, Chile, October 7-10, 2012 : proceedings
" 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. The papers are organized in topical sections on elliptic curves, cryptographic protocols, implementations, foundations, and symmetric-key cryptography ... "
Berlin: Springer-Verlag, 2012
e20409970
eBooks  Universitas Indonesia Library
cover
Jeremy Gibbons, editor
Generic and indexed programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures
" 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 programming, constraining flexibility by allowing one to state and check relationships between parameters, that the shapes of two arguments agree, that an encoded value matches ... "
Berlin: [, Springer-Verlag], 2012
e20410107
eBooks  Universitas Indonesia Library
cover
Advances in neural networks – ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012, proceedings, part I
" 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 mathematical modeling, neurodynamics, cognitive neuroscience, learning algorithms, optimization, pattern recognition, vision, image processing, information processing, neurocontrol, and novel applications ... "
Berlin: Springer-Verlag, 2012
e20410544
eBooks  Universitas Indonesia Library
cover
Advances in neural networks – ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012, proceedings, part II
" 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 mathematical modeling, neurodynamics, cognitive neuroscience, learning algorithms, optimization, pattern recognition, vision, image processing, information processing, neurocontrol, and novel applications ... "
Berlin: Springer-Verlag, 2012
e20410545
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>