Ditemukan 170 dokumen yang sesuai dengan query
This 2-Volume-Set, CCIS 0269-CCIS 0270, constitutes the refereed proceedings of the International Conference on Global Trends in Computing and Communication (CCIS 0269) and the International Conference on Global Trends in Information Systems and Software Applications (CCIS 0270), ObCom 2011, held in Vellore, India, in December 2011. The 173 full papers...
Berlin: Springer-Verlag, 2012
e20409029
eBooks Universitas Indonesia Library
This volume constitutes the refereed proceedings of the 5th International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2011. The 42 revised full papers presented together with 7 short papers were carefully reviewed and selected from 162 submissions. The papers are organized in topical sections on,...
Berlin: Springer-Verlag, 2012
e20410410
eBooks Universitas Indonesia Library
Andy Schurr, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from...
Berlin: Springer, 2012
e20407274
eBooks Universitas Indonesia Library
Petr Sojka, editor
This book constitutes the refereed proceedings of the 15th International Conference on Text, Speech and Dialogue, TSD 2012, held in Brno, Czech Republic, in September 2012. The 82 papers presented together with 2 invited talks were carefully reviewed and selected from 173 submissions. The papers are organized in topical sections...
Berlin: Springer-Verlag, 2012
e20409426
eBooks Universitas Indonesia Library
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
[This book intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas...
New York: [Springer, ], 2012
e20395531
eBooks Universitas Indonesia Library
[With success of ICEEE 2010 in Wuhan, China, and December 4 to 5, 2010, the second International Conference of Electrical and Electronics Engineering (ICEEE 2011) will be held in Macau, China, and December 1 to 2, 2011. This year ICEEE is sponsored by International Industrial Electronics Center, Hong Kong. This...
Berlin : [Springer, ], 2012
e20397833
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Heidelberg : [, Springer], 2012
e20399438
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Berlin: [, Springer], 2012
e20399444
eBooks Universitas Indonesia Library
