Ditemukan 170 dokumen yang sesuai dengan query
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
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
Yun Qing Shi, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Digital-forensics and Watermarking (IWDW 2011) held in Atlantic City, NJ, USA, during October 23-26, 2011. The 37 revised full papers presented were carefully selected from 59 submissions. Conference papers are organized in 6 technical sessions, covering...
Berlin: [, Springer-Verlag ], 2012
e20410075
eBooks Universitas Indonesia Library
Gavrilova, Marina L., editor
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in...
Berlin: [, Springer-Verlag], 2012
e20410392
eBooks Universitas Indonesia Library
Olivier Bodenreider, editor
This book constitutes the refereed proceedings of the 8th International Conference on Data Integration in the Life Sciences, DILS 2012, held in College Park, MD, USA, on June 28-29, 2012. The 11 revised papers included in this volume were carefully reviewed and selected. The papers cover the following topics, foundations...
Berlin: [, Springer-Verlag], 2012
e20410463
eBooks Universitas Indonesia Library
Tiziana Margaria, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
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 International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization...
Berlin: Springer-Verlag, 2012
e20410436
eBooks Universitas Indonesia Library
