Ditemukan 222 dokumen yang sesuai dengan query
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
This book provides the basic theory of complex networks with several new mathematical approaches and optimization techniques to design and analyze dynamic complex networks. A wide range of applications and optimization problems derived from research areas such as cellular and molecular chemistry, operations research, brain physiology, epidemiology, and ecology...
New York: Springer, 2012
e20410840
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
Ilcev, Stojce Dimov, author
This book presents principal structures of space systems functionality of meteorological networks, media and applications for modern remote sensing, transmission systems, meteorological ground and users segments and transferring weather data from satellite to the ground infrastructures and users. The author presents techniques and different modes of satellite image interpretation, type...
Switzerland: Springer Nature, 2019
e20508910
eBooks Universitas Indonesia Library
This book constitutes the revised selected papers from the First International Workshop on Multimedia for Cultural Heritage, MM4CH 2011, held in Modena, Italy, on May 3, 2011. The 8 full papers and 9 poster papers included in this volume were carefully reviewed and selected from 25 submissions. In addition, the...
Berlin: Springer-Verlag, 2012
e20408197
eBooks Universitas Indonesia Library
This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems,...
Berlin: Springer-Verlag, 2012
e20408685
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint...
Berlin: Springer-Verlag, 2012
e20410404
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully...
Berlin: Springer-Verlag, 2012
e20410494
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the...
Berlin: Springer-Verlag, 2012
e20410372
eBooks Universitas Indonesia Library
The 14 revised full papers presented together with 2 invited talks and 2 invited tutorials were carefully reviewed and selected from 17 initial submissions. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; the contributions aim to bring every participant up-to-date with the newest developments and map...
Berlin: Springer-Verlag, 2012
e20409414
eBooks Universitas Indonesia Library
