Ditemukan 234 dokumen yang sesuai dengan query
This book constitutes the thoroughly refereed post-conference proceedings of the fourth International ICST Conference on Security and Privacy in Mobile Information and Communication Systems (MOBISEC 2012) held in Frankfurt/Main, Germany, in June 2012. The 13 revised full papers were carefully selected from numerous submissions and cover the application layer of...
Heidelberg: Springer, 2012
e20410397
eBooks Universitas Indonesia Library
Thomas Rofer, editor
This book includes the thoroughly refereed post-conference proceedings of the 15th Annual RoboCup International Symposium, held in Istanbul, Turkey, in July 2011. The 12 revised papers and 32 poster presentation presented were carefully reviewed and selected from 97 submissions. The papers are orginazed on topical sections on robot hardware and...
Berlin: [, Springer-Verlag], 2012
e20410399
eBooks Universitas Indonesia Library
Kam Cheong Li, editor
This book constitutes the refereed proceedings of the International Conference on ICT in Teaching and Learning, ICT 2012, held in Hong Kong, China, in July 2012. The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. They explore the use of information technology to improve learning...
Berlin: [Springer-Verlag, ], 2012
e20410413
eBooks Universitas Indonesia Library
P. Madhusudan, editor
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata...
Berlin : [Springer-Verlag, ], 2012
e20410422
eBooks Universitas Indonesia Library
Anastasia Ailamaki, editor
This book constitutes the refereed proceedings of the 24th International Conference on Scientific and Statistical Database Management, SSDBM 2012, held in Chania, Grete, Greece, in June 2012. The 25 long and 10 short papers presented together with 2 keynotes, 1 panel, and 13 demonstration and poster papers were carefully reviewed...
Berlin: [Springer-Verlag, ], 2012
e20410432
eBooks Universitas Indonesia Library
James Noble, editor
This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in...
Berlin: [Springer-Verlag, ], 2012
e20410459
eBooks Universitas Indonesia Library
Ralf Klasing, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Experimental Algorithms, SEA 2012, held Bordeaux, France, in June 2012. The 31 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 64 submissions and present current research in the area of design,...
Berlin: [, Springer-Verlag], 2012
e20410472
eBooks Universitas Indonesia Library
Ying Tan, editor
This book and its companion volume, LNCS vols. 7331 and 7332, constitute the Proceedings of the Third International conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27...
Berlin : [, Springer-Verlag], 2012
e20410511
eBooks Universitas Indonesia Library
Daoliang Li, editor
The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover...
Heidelberg: [, Springer], 2012
e20410554
eBooks Universitas Indonesia Library
Daoliang Li, editor
The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover...
Heidelberg: [, Springer], 2012
e20410555
eBooks Universitas Indonesia Library
