Ditemukan 204 dokumen yang sesuai dengan query
Ngoc Thanh Nguyen, editor
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that...
Berlin: [, Springer-Verlag], 2012
e20410400
eBooks Universitas Indonesia Library
Magnus Bang, editor
This book constitutes the proceedings of the 7th International Conference on Persuasive Technology, PERSUASIVE 2012, held in Linköping, Sweden, in June 2012. The 21 full papers presented together with 5 short papers were carefully reviewed and selected from numerous submissions. In addition three keynote papers are included in this volume....
Berlin: [, Springer-Verlag], 2012
e20410464
eBooks Universitas Indonesia Library
Rachid Benlamri, editor
This two-volume-set (CCIS 293 and CCIS 294) constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012. The 96 papers presented in the two volumes were carefully reviewed and selected from 228 submissions. The papers are organized in topical...
Berlin: [, Springer-Verlag], 2012
e20410491
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
Rachid Benlamri, editor
This two-volume-set (CCIS 293 and CCIS 294) constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012. The 96 papers presented in the two volumes were carefully reviewed and selected from 228 submissions. The papers are organized in topical...
Berlin: [, Springer-Verlag], 2012
e20410516
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
Kazmierski, Tom J., editor
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and...
New York: [Springer, ], 2012
e20418367
eBooks Universitas Indonesia Library
Arnoldus, B.J., author
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces...
Paris: Atlantis Press, 2012
e20420662
eBooks Universitas Indonesia Library
Brun, Rene, editor
This book is the first comprehensive account to trace the history of this pioneering spirit in the field of computing technologies. It covers everything up to and including the present-day handling of the huge demands imposed upon grid and distributed computing by full-scale LHC operations—operations which have for years involved...
Berlin : [, Springer], 2012
e20425100
eBooks Universitas Indonesia Library
Mayberry, Michael, author
Windows 8 application development is an exciting topic these days. Windows 8 introduces WinRT, the API for accessing the operating system and the underlying hardware where Metro applications run. WinRT can be accessed through multiple development languages, including C++, .NET languages and JavaScript. Developers from all backgrounds can use their...
New York: Springer, 2012
e20425418
eBooks Universitas Indonesia Library
