Ditemukan 204 dokumen yang sesuai dengan query
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications...
Berlin: Springer-Verlag, 2012
e20410536
eBooks Universitas Indonesia Library
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications...
Berlin: Springer-Verlag, 2012
e20410517
eBooks Universitas Indonesia Library
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications...
Berlin: Springer-Verlag, 2012
e20410537
eBooks Universitas Indonesia Library
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications...
Berlin: Springer-Verlag, 2012
e20410538
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2012, held in Galway City, Ireland, in October 2012. The 44 revised full papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on knowledge extraction...
Berlin: Springer-Verlag, 2012
e20407831
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2011, held in Copenhagen, Denmark, in December 2011. The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. They cover a wide...
Heidelberg: Springer, 2012
e20410467
eBooks Universitas Indonesia Library
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20408664
eBooks Universitas Indonesia Library
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, 2012
e20410564
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited...
Berlin: Springer-Verlag, 2012
e20410294
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. The 12 revised full papers and 9 short papers presented were carefully reviewed and...
Heidelberg: Springer, 2012
e20410473
eBooks Universitas Indonesia Library
