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 paper...
详细信息
ISBN:
(数字)9783642310201
ISBN:
(纸本)9783642310195
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 cohesive sections covering all major topics of swarm intelligence research and developments.
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2...
详细信息
ISBN:
(数字)9783642007682
ISBN:
(纸本)9783642007675
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.
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 revised fu...
详细信息
ISBN:
(数字)9783642309762
ISBN:
(纸本)9783642309755
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 revised full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.
暂无评论