Ditemukan 170 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the Third International Symposium on Information Management in a Changing World, IMCW 2012, held in Ankara, Turkey, in September 2012. The 16 revised full papers presented together with three keynotes were carefully reviewed and selected from more than 30 submissions. The papers are...
Berlin: Springer-Verlag, 2012
e20409393
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Convergence and Hybrid Information Technology, ICHIT 2012, held in Daejeon, Korea, in August 2012. The 102 revised full papers presented were carefully reviewed and selected from 196 submissions. The papers are organized in topical sections on communications and...
Berlin: Springer-Verlag, 2012
e20409490
eBooks Universitas Indonesia Library
Tom Schrijvers, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming,...
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented...
Berlin: Springer-Verlag, 2012
e20409701
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20409844
eBooks Universitas Indonesia Library
Edmund Clarke, editor
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions....
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks Universitas Indonesia Library
Nadia Mana, editor
This book constitutes the refereed proceedings of the 5th INNS IAPR TC3 GIRPR International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2012, held in Trento, Italy, in September 2012. The 21 revised full papers presented were carefully reviewed and selected for inclusion in this volume. They cover a...
Berlin: [, Springer-Verlag], 2012
e20409989
eBooks Universitas Indonesia Library
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the Third International Workshop on Controlled Natural Language, CNL 2012, held in Zurich, Switzerland, in August 2012. The 12 revised papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on CNL for...
Berlin: Springer-Verlag, 2012
e20410042
eBooks Universitas Indonesia Library
Angelos D. Keromytis, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Financial Cryptography and Data Security (FC 2012), held in Kralendijk, Bonaire, February 27–March 1, 2012. The 29 revised full papers presented were carefully selected and reviewed from 88 submissions. The papers cover all aspects of securing...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410043
eBooks Universitas Indonesia Library
