Ditemukan 222 dokumen yang sesuai dengan query
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
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410560
eBooks Universitas Indonesia Library
Roberto Verdone, editor
Pervasive mobile and ambient wireless communications reports the findings of COST 2100, a project of the European intergovernmental COST framework addressing various topics currently emerging in mobile and wireless communications. Drawing on experience developed in this and earlier COST projects, the text represents the final outcome of collaborative work involving...
London: [, Springer], 2012
e20410857
eBooks Universitas Indonesia Library
Robertazzi, Thomas, author
Springer brief basics of computer networking provides a non-mathematical introduction to the world of networks. This book covers both technology for wired and wireless networks. Coverage includes transmission media, local area networks, wide area networks, and network security....
New York: [, Springer], 2012
e20418239
eBooks Universitas Indonesia Library
